%0 Conference Paper %1 conf/atva/KretinskyS13 %A Kretínský, Jan %A Sickert, Salomon %B ATVA %D 2013 %E Hung, Dang Van %E Ogawa, Mizuhito %I Springer %K dblp %P 487-491 %T MoTraS: A Tool for Modal Transition Systems and Their Extensions. %U http://dblp.uni-trier.de/db/conf/atva/atva2013.html#KretinskyS13 %V 8172 %@ 978-3-319-02443-1

@inproceedings{conf/atva/KretinskyS13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kretínský, Jan and Sickert, Salomon}, biburl = {https://www.bibsonomy.org/bibtex/2a261c069c11912152d268b7d68a8f581/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2013}, editor = {Hung, Dang Van and Ogawa, Mizuhito}, ee = {https://doi.org/10.1007/978-3-319-02444-8_41}, interhash = {baa8512516a2d823c840290a55898ee2}, intrahash = {a261c069c11912152d268b7d68a8f581}, isbn = {978-3-319-02443-1}, keywords = {dblp}, pages = {487-491}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:01.000+0200}, title = {MoTraS: A Tool for Modal Transition Systems and Their Extensions.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2013.html#KretinskyS13}, volume = 8172, year = 2013 }