{"date_created":"2018-06-13T09:54:58Z","date_updated":"2022-01-06T06:59:05Z","status":"public","type":"conference","editor":[{"first_name":"John","full_name":"S. Fitzgerald, John","last_name":"S. Fitzgerald"},{"last_name":"Elisabeth Haxthausen","full_name":"Elisabeth Haxthausen, Anne","first_name":"Anne"},{"last_name":"Yenig{\\\"{u}}n","first_name":"H{\\\"{u}}sn{\\\"{u}}","full_name":"Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}"}],"publication":"Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings","series_title":"Lecture Notes in Computer Science","year":"2008","doi":"10.1007/978-3-540-85762-4_26","author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"title":"Bounded Model Checking for Partial Kripke Structures","user_id":"29719","_id":"3210","page":"380--394","citation":{"chicago":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” In <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H{\\\"{u}}sn{\\\"{u}} Yenig{\\\"{u}}n, 380--394. Lecture Notes in Computer Science, 2008. <a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">https://doi.org/10.1007/978-3-540-85762-4_26</a>.","short":"H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\\\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.","bibtex":"@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }","apa":"Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, &#38; H. Yenig{\\\"{u}}n (Eds.), <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i> (pp. 380--394). <a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">https://doi.org/10.1007/978-3-540-85762-4_26</a>","ieee":"H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, 2008, pp. 380--394.","mla":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>.","ama":"Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\\\"{u}}n H, eds. <i>Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings</i>. Lecture Notes in Computer Science. ; 2008:380--394. doi:<a href=\"https://doi.org/10.1007/978-3-540-85762-4_26\">10.1007/978-3-540-85762-4_26</a>"}}