{"_id":"jJ7jd6s6o5GHpEmTc","bibbaseid":"bouwman-janssen-luttik-formalmodellingandverificationofaninterlockingusingmcrl2-2019","author_short":["Bouwman, M.","Janssen, B.","Luttik, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal modelling and verification of an interlocking using mCRL2","booktitle":"24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019","author":[{"propositions":[],"lastnames":["Bouwman"],"firstnames":["Mark"],"suffixes":[]},{"propositions":[],"lastnames":["Janssen"],"firstnames":["Bob"],"suffixes":[]},{"propositions":[],"lastnames":["Luttik"],"firstnames":["Bas"],"suffixes":[]}],"year":"2019","keywords":"⛔ No DOI found","pages":"22–39","bibtex":"@inproceedings{bouwman_formal_2019,\n\ttitle = {Formal modelling and verification of an interlocking using {mCRL2}},\n\tbooktitle = {24th {International} {Conference} on {Formal} {Methods} for {Industrial} {Critical} {Systems}, {FMICS} 2019},\n\tauthor = {Bouwman, Mark and Janssen, Bob and Luttik, Bas},\n\tyear = {2019},\n\tkeywords = {⛔ No DOI found},\n\tpages = {22--39},\n}\n\n","author_short":["Bouwman, M.","Janssen, B.","Luttik, B."],"key":"bouwman_formal_2019","id":"bouwman_formal_2019","bibbaseid":"bouwman-janssen-luttik-formalmodellingandverificationofaninterlockingusingmcrl2-2019","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","modelling","verification","interlocking","using","mcrl2","bouwman","janssen","luttik"],"title":"Formal modelling and verification of an interlocking using mCRL2","year":2019}