Media type: E-Article Title: On Safety Properties and Their Monitoring Contributor: Rosu, Grigore Published: Editura Universitatii Alexandru Ioan Cuza din Iasi, 2012 Published in: Scientific Annals of Computer Science (2012), Seite 327-365 Language: Not determined DOI: 10.7561/sacs.2012.2.327 ISSN: 1843-8121; 2248-2695 Keywords: Applied Mathematics ; General Computer Science Origination: Footnote: Access State: Open Access