Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
A. Krupp, W. Müller, (2003).
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Krupp, Alexander;
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
Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }
Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.
Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.
Google Scholar