Model Checking via Reachability Testing for Timed Automata. Aceto, L., Burgueño, A., & Larsen, K. G. In Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pages 263–280, 1998. Paper doi bibtex @inproceedings{DBLP:conf/tacas/AcetoBL98,
author = {Luca Aceto and
Augusto Burgue{\~{n}}o and
Kim Guldstrand Larsen},
title = {Model Checking via Reachability Testing for Timed Automata},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
pages = {263--280},
year = {1998},
crossref = {DBLP:conf/tacas/1998},
url = {https://doi.org/10.1007/BFb0054177},
doi = {10.1007/BFb0054177},
timestamp = {Tue, 23 May 2017 11:53:58 +0200},
biburl = {https://dblp.org/rec/bib/conf/tacas/AcetoBL98},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"gXZyPQQyYghncmKkw","bibbaseid":"aceto-burgueo-larsen-modelcheckingviareachabilitytestingfortimedautomata-1998","downloads":0,"creationDate":"2019-03-14T12:11:49.471Z","title":"Model Checking via Reachability Testing for Timed Automata","author_short":["Aceto, L.","Burgueño, A.","Larsen, K. G."],"year":1998,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Augusto"],"propositions":[],"lastnames":["Burgueño"],"suffixes":[]},{"firstnames":["Kim","Guldstrand"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Model Checking via Reachability Testing for Timed Automata","booktitle":"Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings","pages":"263–280","year":"1998","crossref":"DBLP:conf/tacas/1998","url":"https://doi.org/10.1007/BFb0054177","doi":"10.1007/BFb0054177","timestamp":"Tue, 23 May 2017 11:53:58 +0200","biburl":"https://dblp.org/rec/bib/conf/tacas/AcetoBL98","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tacas/AcetoBL98,\n author = {Luca Aceto and\n Augusto Burgue{\\~{n}}o and\n Kim Guldstrand Larsen},\n title = {Model Checking via Reachability Testing for Timed Automata},\n booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th\n International Conference, {TACAS} '98, Held as Part of the European\n Joint Conferences on the Theory and Practice of Software, ETAPS'98,\n Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},\n pages = {263--280},\n year = {1998},\n crossref = {DBLP:conf/tacas/1998},\n url = {https://doi.org/10.1007/BFb0054177},\n doi = {10.1007/BFb0054177},\n timestamp = {Tue, 23 May 2017 11:53:58 +0200},\n biburl = {https://dblp.org/rec/bib/conf/tacas/AcetoBL98},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Burgueño, A.","Larsen, K. G."],"key":"DBLP:conf/tacas/AcetoBL98","id":"DBLP:conf/tacas/AcetoBL98","bibbaseid":"aceto-burgueo-larsen-modelcheckingviareachabilitytestingfortimedautomata-1998","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0054177"},"downloads":0},"search_terms":["model","checking","via","reachability","testing","timed","automata","aceto","burgueño","larsen"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}