{"date_updated":"2023-01-24T11:14:59Z","type":"conference","publication":"Proceedings of AVI 2000","language":[{"iso":"eng"}],"user_id":"5786","citation":{"bibtex":"@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} }","short":"S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.","chicago":"Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In <i>Proceedings of AVI 2000</i>. Palermo, Italy, 2000.","ama":"Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: <i>Proceedings of AVI 2000</i>. ; 2000.","mla":"Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” <i>Proceedings of AVI 2000</i>, 2000.","ieee":"S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.","apa":"Flake, S., Müller, W., &#38; Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. <i>Proceedings of AVI 2000</i>."},"date_created":"2023-01-24T11:14:51Z","_id":"39464","title":"An Advanced Visual Capture for Model Checking Specifications","department":[{"_id":"672"}],"author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"status":"public","year":"2000","place":"Palermo, Italy"}