%0 Conference Paper %1 thiagap:94 %A Thiagarajan, P. S. %B Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science %C Paris, France %D 1994 %K no-tag %P 438--447 %T A Trace Based Extension of Linear Time Temporal Logic

@inproceedings{thiagap:94, added-at = {2007-07-06T10:33:42.000+0200}, address = {Paris, France}, author = {Thiagarajan, P. S.}, biburl = {https://www.bibsonomy.org/bibtex/292bcf0aaa5e52b3ea08f7ec7310af1b5/schaal}, booktitle = {Proceedings, Ninth Annual {IEEE} Symposium on Logic in Computer Science}, citeulike-article-id = {1431156}, interhash = {41a136d3ebd016d9dd38c41ada3237d3}, intrahash = {92bcf0aaa5e52b3ea08f7ec7310af1b5}, keywords = {no-tag}, month = {April--July July}, organization = {IEEE Computer Society Press}, pages = {438--447}, priority = {2}, timestamp = {2007-07-06T11:06:59.000+0200}, title = {A Trace Based Extension of Linear Time Temporal Logic}, year = 1994 }