%0 Conference Paper %1 conf/etfa/PakonenPBV16 %A Pakonen, Antti %A Pang, Cheng %A Buzhinsky, Igor %A Vyatkin, Valeriy %B ETFA %D 2016 %I IEEE %K dblp %P 1-8 %T User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2016.html#PakonenPBV16 %@ 978-1-5090-1314-2

@inproceedings{conf/etfa/PakonenPBV16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Pakonen, Antti and Pang, Cheng and Buzhinsky, Igor and Vyatkin, Valeriy}, biburl = {https://www.bibsonomy.org/bibtex/20eabff95ea1f13d58903871f4a919119/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2016}, ee = {https://doi.org/10.1109/ETFA.2016.7733717}, interhash = {d50a831d77999e2fd84c0e1d4e0335b8}, intrahash = {0eabff95ea1f13d58903871f4a919119}, isbn = {978-1-5090-1314-2}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2019-10-22T16:15:15.000+0200}, title = {User-friendly formal specification languages - conclusions drawn from industrial experience on model checking.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2016.html#PakonenPBV16}, year = 2016 }