Model Checking via Reachability Testing for Timed Automata. Aceto, L., Burgueño, A., & Guldstrand Larsen, K. In Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS), pages 263-280, 1998. Paper bibtex @inproceedings{ dblp4514087,
title = {Model Checking via Reachability Testing for Timed Automata},
author = {Luca Aceto and Augusto Burgueño and Kim Guldstrand Larsen},
author_short = {Aceto, L. and Burgueño, A. and Guldstrand Larsen, K.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1998},
key = {dblp4514087},
id = {dblp4514087},
biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/AcetoBL98},
url = {http://dx.doi.org/10.1007/BFb0054177},
conference = {TACAS},
pages = {263-280},
text = {TACAS 1998:263-280},
booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}
}
Downloads: 0
{"_id":"5n8Birzv9K2BptHr7","bibbaseid":"aceto-burgueo-guldstrandlarsen-modelcheckingviareachabilitytestingfortimedautomata-1998","downloads":0,"creationDate":"2016-02-18T15:10:12.506Z","title":"Model Checking via Reachability Testing for Timed Automata","author_short":["Aceto, L.","Burgueño, A.","Guldstrand Larsen, K."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/AcetoBL98","bibdata":{"title":"Model Checking via Reachability Testing for Timed Automata","author":["Luca Aceto","Augusto Burgueño","Kim Guldstrand Larsen"],"author_short":["Aceto, L.","Burgueño, A.","Guldstrand Larsen, K."],"bibtype":"inproceedings","type":"inproceedings","year":"1998","key":"dblp4514087","id":"dblp4514087","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/AcetoBL98","url":"http://dx.doi.org/10.1007/BFb0054177","conference":"TACAS","pages":"263-280","text":"TACAS 1998:263-280","booktitle":"Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)","bibtex":"@inproceedings{ dblp4514087,\n title = {Model Checking via Reachability Testing for Timed Automata},\n author = {Luca Aceto and Augusto Burgueño and Kim Guldstrand Larsen},\n author_short = {Aceto, L. and Burgueño, A. and Guldstrand Larsen, K.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1998},\n key = {dblp4514087},\n id = {dblp4514087},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/AcetoBL98},\n url = {http://dx.doi.org/10.1007/BFb0054177},\n conference = {TACAS},\n pages = {263-280},\n text = {TACAS 1998:263-280},\n booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}\n}","bibbaseid":"aceto-burgueo-guldstrandlarsen-modelcheckingviareachabilitytestingfortimedautomata-1998","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0054177"},"downloads":0},"search_terms":["model","checking","via","reachability","testing","timed","automata","aceto","burgueño","guldstrand larsen"],"keywords":[],"authorIDs":[],"dataSources":["eRXoct743iRwgY6WF"]}