Transforming Timeline specifications into automata for runtime monitoring (bibtex)
@techreport{TRTransforming,
	Address = {Montr\'{e}al, Qu\'{e}bec, Canada},
	Author = {Eric Bodden and Hans Vangheluwe},
	Institution = {Sable Research Group, School of Computer Science, McGill University},
	Month = {February},
	Number = {SABLE-TR-2008-1},
	Title = {Transforming {Timeline} specifications into automata for runtime monitoring},
	Url = {https://www.bodden.de/pubs/sable-tr-2008-1.pdf},
	Year = {2008},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/sable-tr-2008-1.pdf}}
Powered by bibtexbrowser