An Advanced Visual Capture for Model Checking Specifications
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Flake, Stephan;
Müller, WolfgangLibreCat;
Ruf, Jürgen
Publishing Year
Proceedings Title
Proceedings of AVI 2000
LibreCat-ID
Cite this
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In Proceedings of AVI 2000. Palermo, Italy, 2000.
S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.
Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” Proceedings of AVI 2000, 2000.