direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

An Approach for Machine-Assisted Verification of Timed CSP Specifications
Citation key Goethel2010
Author Thomas Göthel and Sabine Glesner
Pages pp.181–193
Year 2010
ISSN 1614-5046
DOI 10.1007/s11334-010-0126-z
Journal Innovations in Systems and Software Engineering - A NASA Journal
Volume 6
Number 3
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe