Transforming Timeline specifications into automata for runtime monitoring (bibtex)
@inproceedings{AGTIVEoSeven,
	Author = {Eric Bodden and Hans Vangheluwe},
	Booktitle = {3rd International Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE)},
	Isbn = {978-3-540-89019-5},
	Month = oct,
	Pages = {249--265},
	Publisher = {Springer},
	Series = {Lecture Notes of Computer Science},
	Title = {Transforming {Timeline} specifications into automata for runtime monitoring},
	Url = {https://www.bodden.de/pubs/bv07transforming.pdf},
	Volume = {5088},
	Year = {2007},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bv07transforming.pdf}}
Powered by bibtexbrowser