{"author":[{"full_name":"Dräger, Klaus","last_name":"Dräger","first_name":"Klaus"},{"last_name":"Kupriyanov","full_name":"Kupriyanov, Andrey","first_name":"Andrey"},{"first_name":"Bernd","last_name":"Finkbeiner","full_name":"Finkbeiner, Bernd"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"status":"public","year":"2010","citation":{"bibtex":"@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }","short":"K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.","chicago":"Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” In <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>.","ieee":"K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>, 2010, pp. 271--274.","mla":"Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>.","ama":"Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds. <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:271--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>","apa":"Dräger, K., Kupriyanov, A., Finkbeiner, B., &#38; Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &#38; R. Majumdar (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i> (pp. 271--274). <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>"},"user_id":"29719","date_created":"2018-06-13T09:22:07Z","editor":[{"full_name":"Esparza, Javier","last_name":"Esparza","first_name":"Javier"},{"first_name":"Rupak","last_name":"Majumdar","full_name":"Majumdar, Rupak"}],"department":[{"_id":"77"}],"title":"{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems","_id":"3196","page":"271--274","publication":"Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings","date_updated":"2022-01-06T06:59:04Z","type":"conference","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-642-12002-2_22"}