Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation
H. Zabel, W. Müller, (2005).
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Zabel, Henning;
Müller, WolfgangLibreCat
Publishing Year
forms.conference.field.series_title_volume.label
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
LibreCat-ID
Cite this
Zabel H, Müller W. Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation. Published online 2005.
Zabel, H., & Müller, W. (2005). Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.
@article{Zabel_Müller_2005, place={Munich, Germany}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation}, author={Zabel, Henning and Müller, Wolfgang}, year={2005}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
H. Zabel and W. Müller, “Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.” Munich, Germany, 2005.
Zabel, Henning, and Wolfgang Müller. Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation. 2005.
Google Scholar