@inproceedings{DBLP:conf/sfm/AmighiBDHMZ14,
  author    = {Afshin Amighi and Stefan Blom and Saeed Darabi and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva{-}Stojanovski},
  title     = {Verification of Concurrent Systems with VerCors},
  booktitle = {{SFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8483},
  pages     = {172--216},
  publisher = {Springer},
  year      = {2014},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-07317-0_5}
}

{"_id":"eDK2fYQqfz8z4c4vB","bibbaseid":"amighi-blom-darabi-huisman-mostowski-zaharievastojanovski-verificationofconcurrentsystemswithvercors-2014","authorIDs":["5d14be645b939dee01000058"],"author_short":["Amighi, A.","Blom, S.","Darabi, S.","Huisman, M.","Mostowski, W.","Zaharieva-Stojanovski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Afshin"],"propositions":[],"lastnames":["Amighi"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Blom"],"suffixes":[]},{"firstnames":["Saeed"],"propositions":[],"lastnames":["Darabi"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Wojciech"],"propositions":[],"lastnames":["Mostowski"],"suffixes":[]},{"firstnames":["Marina"],"propositions":[],"lastnames":["Zaharieva-Stojanovski"],"suffixes":[]}],"title":"Verification of Concurrent Systems with VerCors","booktitle":"SFM","series":"Lecture Notes in Computer Science","volume":"8483","pages":"172–216","publisher":"Springer","year":"2014","url":"https://link.springer.com/chapter/10.1007/978-3-319-07317-0_5","bibtex":"@inproceedings{DBLP:conf/sfm/AmighiBDHMZ14,\n author = {Afshin Amighi and Stefan Blom and Saeed Darabi and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva{-}Stojanovski},\n title = {Verification of Concurrent Systems with VerCors},\n booktitle = {{SFM}},\n series = {Lecture Notes in Computer Science},\n volume = {8483},\n pages = {172--216},\n publisher = {Springer},\n year = {2014},\n url = {https://link.springer.com/chapter/10.1007/978-3-319-07317-0_5}\n}\n\n","author_short":["Amighi, A.","Blom, S.","Darabi, S.","Huisman, M.","Mostowski, W.","Zaharieva-Stojanovski, M."],"key":"DBLP:conf/sfm/AmighiBDHMZ14","id":"DBLP:conf/sfm/AmighiBDHMZ14","bibbaseid":"amighi-blom-darabi-huisman-mostowski-zaharievastojanovski-verificationofconcurrentsystemswithvercors-2014","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-319-07317-0_5"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.114Z","downloads":1,"keywords":[],"search_terms":["verification","concurrent","systems","vercors","amighi","blom","darabi","huisman","mostowski","zaharieva-stojanovski"],"title":"Verification of Concurrent Systems with VerCors","year":2014,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}