{"_id":"3BcHx76E5AyfiL8mB","bibbaseid":"kaynar-lynch-mitra-specifyingandprovingtimingpropertieswithtioatools-2004","downloads":0,"creationDate":"2017-10-05T05:28:27.072Z","title":"Specifying and Proving Timing Properties with TIOA Tools","author_short":["Kaynar, D.","Lynch, N.","Mitra, S."],"year":2004,"bibtype":"inproceedings","biburl":"http://mitras.ece.illinois.edu/research/sayan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dilsun"],"propositions":[],"lastnames":["Kaynar"],"suffixes":[]},{"firstnames":["Nancy"],"propositions":[],"lastnames":["Lynch"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]}],"title":"Specifying and Proving Timing Properties with TIOA Tools","booktitle":"In the work in progress session of the 25th IEEE International Real-Time Systems Symposium (RTSS-WIP)","year":"2004","address":"Lisbon, Portugal","month":"December","biburl":"http://users.crhc.illinois.edu/mitras/research.html","keywords":"Verification","psfurl":"research/2004/wip04.ps.gz","bibtex":"@InProceedings{KLM04,\n author = {Dilsun Kaynar and Nancy Lynch and Sayan Mitra},\n title = {Specifying and Proving Timing Properties with {TIOA} Tools},\n booktitle = {In the work in progress session of the 25th {IEEE} International Real-Time Systems Symposium ({RTSS-WIP})},\n year = {2004},\n address = {Lisbon, Portugal},\n month = {December},\n biburl = {http://users.crhc.illinois.edu/mitras/research.html},\n keywords = {Verification},\n psfurl = {research/2004/wip04.ps.gz},\n}\n\n","author_short":["Kaynar, D.","Lynch, N.","Mitra, S."],"key":"KLM04","id":"KLM04","bibbaseid":"kaynar-lynch-mitra-specifyingandprovingtimingpropertieswithtioatools-2004","role":"author","urls":{},"keyword":["Verification"],"downloads":0,"html":""},"search_terms":["specifying","proving","timing","properties","tioa","tools","kaynar","lynch","mitra"],"keywords":["specification languages","verification"],"authorIDs":[],"dataSources":["yMXZF3wFnctJRohbP"]}