%0 Conference Paper %1 conf/sew/TiwariSR03 %A Tiwari, Ashish %A Sinha, Purnendu %A Ramachandran, Umabharathi %B SEW %D 2003 %I IEEE Computer Society %K dblp %P 58 %T On the Run-time Verification of Autonomy Software. %U http://dblp.uni-trier.de/db/conf/sew/sew2003.html#TiwariSR03 %@ 0-7695-2064-2

@inproceedings{conf/sew/TiwariSR03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Tiwari, Ashish and Sinha, Purnendu and Ramachandran, Umabharathi}, biburl = {https://www.bibsonomy.org/bibtex/2ae31a5e5392738160cc3de087ca42a8c/dblp}, booktitle = {SEW}, crossref = {conf/sew/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEW.2003.1270726}, interhash = {68cd3c14738ba6b537dd1e9aa2a2080e}, intrahash = {ae31a5e5392738160cc3de087ca42a8c}, isbn = {0-7695-2064-2}, keywords = {dblp}, pages = 58, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:17:22.000+0200}, title = {On the Run-time Verification of Autonomy Software.}, url = {http://dblp.uni-trier.de/db/conf/sew/sew2003.html#TiwariSR03}, year = 2003 }