%0 Conference Paper %1 conf/rsp/BalasubramanianPNKLPP11 %A Balasubramanian, Daniel %A Pap, Gábor %A Nine, Harmon %A Karsai, Gabor %A Lowry, Michael R. %A Pasareanu, Corina S. %A Pressburger, Thomas %B International Symposium on Rapid System Prototyping %D 2011 %I IEEE %K dblp %P 121-127 %T Rapid property specification and checking for model-based formalisms. %U http://dblp.uni-trier.de/db/conf/rsp/rsp2011.html#BalasubramanianPNKLPP11 %@ 978-1-4577-0658-5

@inproceedings{conf/rsp/BalasubramanianPNKLPP11, added-at = {2021-10-14T00:00:00.000+0200}, author = {Balasubramanian, Daniel and Pap, Gábor and Nine, Harmon and Karsai, Gabor and Lowry, Michael R. and Pasareanu, Corina S. and Pressburger, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/232e02fc5b725faa1aad27aea29a7a096/dblp}, booktitle = {International Symposium on Rapid System Prototyping}, crossref = {conf/rsp/2011}, ee = {https://doi.org/10.1109/RSP.2011.5929985}, interhash = {b141da10dfa38bf1d1e4de11fc40e523}, intrahash = {32e02fc5b725faa1aad27aea29a7a096}, isbn = {978-1-4577-0658-5}, keywords = {dblp}, pages = {121-127}, publisher = {IEEE}, timestamp = {2024-04-10T18:07:56.000+0200}, title = {Rapid property specification and checking for model-based formalisms.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp2011.html#BalasubramanianPNKLPP11}, year = 2011 }