%0 Conference Paper %1 conf/ecrts/KimVBKLS99 %A Kim, Moonjoo %A Viswanathan, Mahesh %A Ben-Abdallah, Hanêne %A Kannan, Sampath %A Lee, Insup %A Sokolsky, Oleg %B ECRTS %D 1999 %I IEEE Computer Society %K dblp %P 114-122 %T Formally specified monitoring of temporal properties. %U http://dblp.uni-trier.de/db/conf/ecrts/ecrts1999.html#KimVBKLS99 %@ 0-7695-0240-7

@inproceedings{conf/ecrts/KimVBKLS99, added-at = {2023-06-15T00:00:00.000+0200}, author = {Kim, Moonjoo and Viswanathan, Mahesh and Ben-Abdallah, Hanêne and Kannan, Sampath and Lee, Insup and Sokolsky, Oleg}, biburl = {https://www.bibsonomy.org/bibtex/25374d9584a0465633bd9d6c53fe29243/dblp}, booktitle = {ECRTS}, crossref = {conf/ecrts/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/EMRTS.1999.777457}, interhash = {42af0b00aa88ac44f5424d30b4efc8bc}, intrahash = {5374d9584a0465633bd9d6c53fe29243}, isbn = {0-7695-0240-7}, keywords = {dblp}, pages = {114-122}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:40:05.000+0200}, title = {Formally specified monitoring of temporal properties.}, url = {http://dblp.uni-trier.de/db/conf/ecrts/ecrts1999.html#KimVBKLS99}, year = 1999 }