direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems using Network Invariants
Zitatschlüssel Goethel2010a
Autor Thomas Göthel and Sabine Glesner
Buchtitel Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods
Seiten 310–314
Jahr 2010
ISBN 978-0-7695-4153-2
DOI http://doi.ieeecomputersociety.org/10.1109/SEFM.2010.38
Verlag IEEE
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe