%0 Conference Paper %1 conf/serene/HavelundJ17 %A Havelund, Klaus %A Joshi, Rajeev %B SERENE %D 2017 %E Romanovsky, Alexander B. %E Troubitsyna, Elena %I Springer %K dblp %P 21-36 %T Modeling and Monitoring of Hierarchical State Machines in Scala. %U http://dblp.uni-trier.de/db/conf/serene/serene2017.html#HavelundJ17 %V 10479 %@ 978-3-319-65948-0

@inproceedings{conf/serene/HavelundJ17, added-at = {2017-08-18T00:00:00.000+0200}, author = {Havelund, Klaus and Joshi, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/2e23119f66bfa86c6cf1efde0b560734b/dblp}, booktitle = {SERENE}, crossref = {conf/serene/2017}, editor = {Romanovsky, Alexander B. and Troubitsyna, Elena}, ee = {https://doi.org/10.1007/978-3-319-65948-0_2}, interhash = {ef84714c64613c4d109f23ea92eccd34}, intrahash = {e23119f66bfa86c6cf1efde0b560734b}, isbn = {978-3-319-65948-0}, keywords = {dblp}, pages = {21-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2018-02-23T11:39:06.000+0100}, title = {Modeling and Monitoring of Hierarchical State Machines in Scala.}, url = {http://dblp.uni-trier.de/db/conf/serene/serene2017.html#HavelundJ17}, volume = 10479, year = 2017 }