direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems using Network Invariants
Citation key Goethel2010a
Author Thomas Göthel and Sabine Glesner
Title of Book Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods
Pages 310–314
Year 2010
ISBN 978-0-7695-4153-2
DOI http://doi.ieeecomputersociety.org/10.1109/SEFM.2010.38
Publisher IEEE
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe