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