{"user_id":"29719","date_created":"2018-06-13T09:22:07Z","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","type":"conference","title":"{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems","department":[{"_id":"77"}],"author":[{"last_name":"Dräger","full_name":"Dräger, Klaus","first_name":"Klaus"},{"first_name":"Andrey","full_name":"Kupriyanov, Andrey","last_name":"Kupriyanov"},{"full_name":"Finkbeiner, Bernd","last_name":"Finkbeiner","first_name":"Bernd"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"editor":[{"first_name":"Javier","full_name":"Esparza, Javier","last_name":"Esparza"},{"full_name":"Majumdar, Rupak","last_name":"Majumdar","first_name":"Rupak"}],"_id":"3196","doi":"10.1007/978-3-642-12002-2_22","status":"public","year":"2010","citation":{"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>.","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.","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} }","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>","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."},"series_title":"Lecture Notes in Computer Science","page":"271--274","date_updated":"2022-01-06T06:59:04Z"}