direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

An Approach for Machine-Assisted Verification of Timed CSP Specifications
Zitatschlüssel Goethel2010
Autor Thomas Göthel and Sabine Glesner
Seiten pp.181–193
Jahr 2010
ISSN 1614-5046
DOI 10.1007/s11334-010-0126-z
Journal Innovations in Systems and Software Engineering - A NASA Journal
Jahrgang 6
Nummer 3
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe