Tracechecks: Defining Semantic Interfaces with Temporal Logic

Bodden, Eric; Stolz, Volker

Tracechecks: Defining Semantic Interfaces with Temporal Logic (bibtex)

@proceedings{SCTwoThousandSix,
	Bibsource = {DBLP, https://dblp.uni-trier.de},
	Booktitle = {Software Composition},
	Editor = {Welf L{\"o}we and Mario S{\"u}dholt},
	Isbn = {3-540-37657-7},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Kind = {Workshop},
	Title = {Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006},
	Volume = {4089},
	Year = {2006}}
@inproceedings{SCTracechecks,
	Author = {Eric Bodden and Volker Stolz},
	Bibsource = {DBLP, https://dblp.uni-trier.de},
	Booktitle = {Software Composition},
	Crossref = {SCTwoThousandSix},
	Ee = {https://dx.doi.org/10.1007/11821946_10},
	Month = mar,
	Pages = {147--162},
	Title = {Tracechecks: Defining Semantic Interfaces with Temporal Logic},
	Url = {https://www.bodden.de/pubs/bs06tracechecks.pdf},
	Year = {2006},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bs06tracechecks.pdf}}