@inproceedings{ dblp1723815,
  title = {Foundations of Semantics and Model Checking in a Software Engineering Course},
  author = {Henning Bordihn and Anna-Lena Lamprecht and Tiziana Margaria},
  author_short = {Bordihn, H. and Lamprecht, A. and Margaria, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2015},
  key = {dblp1723815},
  id = {dblp1723815},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fm/BordihnLM15},
  url = {http://ceur-ws.org/Vol-1385/paper4.pdf},
  conference = {FMSEE&T@FM},
  pages = {19-26},
  text = {FMSEE&T@FM 2015:19-26},
  booktitle = {Proceedings of FMSEE&T@FM}
}

{"_id":"4TH34NSEZy49etAH7","bibbaseid":"bordihn-lamprecht-margaria-foundationsofsemanticsandmodelcheckinginasoftwareengineeringcourse-2015","downloads":0,"creationDate":"2015-12-04T23:16:18.909Z","title":"Foundations of Semantics and Model Checking in a Software Engineering Course","author_short":["Bordihn, H.","Lamprecht, A.","Margaria, T."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/BordihnLM15","bibdata":{"title":"Foundations of Semantics and Model Checking in a Software Engineering Course","author":["Henning Bordihn","Anna-Lena Lamprecht","Tiziana Margaria"],"author_short":["Bordihn, H.","Lamprecht, A.","Margaria, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2015","key":"dblp1723815","id":"dblp1723815","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/BordihnLM15","url":"http://ceur-ws.org/Vol-1385/paper4.pdf","conference":"FMSEE&T@FM","pages":"19-26","text":"FMSEE&T@FM 2015:19-26","booktitle":"Proceedings of FMSEE&T@FM","bibtex":"@inproceedings{ dblp1723815,\n title = {Foundations of Semantics and Model Checking in a Software Engineering Course},\n author = {Henning Bordihn and Anna-Lena Lamprecht and Tiziana Margaria},\n author_short = {Bordihn, H. and Lamprecht, A. and Margaria, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2015},\n key = {dblp1723815},\n id = {dblp1723815},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fm/BordihnLM15},\n url = {http://ceur-ws.org/Vol-1385/paper4.pdf},\n conference = {FMSEE&T@FM},\n pages = {19-26},\n text = {FMSEE&T@FM 2015:19-26},\n booktitle = {Proceedings of FMSEE&T@FM}\n}","bibbaseid":"bordihn-lamprecht-margaria-foundationsofsemanticsandmodelcheckinginasoftwareengineeringcourse-2015","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-1385/paper4.pdf"},"downloads":0},"search_terms":["foundations","semantics","model","checking","software","engineering","course","bordihn","lamprecht","margaria"],"keywords":[],"authorIDs":[],"dataSources":["Webh5qB5bQHHj4f7f"]}