Alexei Iliasov, Alexander Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala. Augmenting Event-B modelling with real-time verification. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 51-57, IEEE, 2012. [doi]
@inproceedings{IliasovRLTL12,
title = {Augmenting Event-B modelling with real-time verification},
author = {Alexei Iliasov and Alexander Romanovsky and Linas Laibinis and Elena Troubitsyna and Timo Latvala},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2663698},
researchr = {https://researchr.org/publication/IliasovRLTL12},
cites = {0},
citedby = {0},
pages = {51-57},
booktitle = {Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012},
editor = {Stefania Gnesi and Stefan Gruner and Nico Plat and Bernhard Rumpe},
publisher = {IEEE},
isbn = {978-1-4673-1906-5},
}