%0 Conference Paper %1 conf/birthday/BaigM17 %A Baig, Hasan %A Madsen, Jan %B Models, Algorithms, Logics and Tools %D 2017 %E Aceto, Luca %E Bacci, Giorgio %E Bacci, Giovanni %E Ingólfsdóttir, Anna %E Legay, Axel %E Mardare, Radu %I Springer %K dblp %P 503-515 %T Taming Living Logic Using Formal Methods. %U http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#BaigM17 %V 10460 %@ 978-3-319-63121-9

@inproceedings{conf/birthday/BaigM17, added-at = {2018-11-14T00:00:00.000+0100}, author = {Baig, Hasan and Madsen, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2dc8a9f26227f1d29dd7a89d117dec3f8/dblp}, booktitle = {Models, Algorithms, Logics and Tools}, crossref = {conf/birthday/2017larsen}, editor = {Aceto, Luca and Bacci, Giorgio and Bacci, Giovanni and Ingólfsdóttir, Anna and Legay, Axel and Mardare, Radu}, ee = {https://www.wikidata.org/entity/Q54483777}, interhash = {e9d643877317ba7215940383025aa884}, intrahash = {dc8a9f26227f1d29dd7a89d117dec3f8}, isbn = {978-3-319-63121-9}, keywords = {dblp}, pages = {503-515}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:39.000+0200}, title = {Taming Living Logic Using Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#BaigM17}, volume = 10460, year = 2017 }