--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Klaus foaf_name: Dräger, Klaus foaf_surname: Dräger - foaf_Person: foaf_givenName: Andrey foaf_name: Kupriyanov, Andrey foaf_surname: Kupriyanov - foaf_Person: foaf_givenName: Bernd foaf_name: Finkbeiner, Bernd foaf_surname: Finkbeiner - foaf_Person: foaf_givenName: Heike foaf_name: Wehrheim, Heike foaf_surname: Wehrheim foaf_workInfoHomepage: http://www.librecat.org/personId=573 bibo_doi: 10.1007/978-3-642-12002-2_22 dct_date: 2010^xs_gYear dct_title: '{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems@' ...