Sifakis, J. (1990). Automatic verification methods for finite state systems: Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989. Springer Verlag.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Sifakis, J. Automatic Verification Methods for Finite State Systems: Konf. International Workshop, Grenoble, France, 12.- 14. Juna. 1989. Berlin: Springer Verlag, 1990.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Sifakis, J. Automatic Verification Methods for Finite State Systems: Konf. International Workshop, Grenoble, France, 12.- 14. Juna. 1989. Springer Verlag, 1990.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.