@article{ dblp4380026,
  title = {Characteristic formulae for timed automata},
  author = {Luca Aceto and Anna Ingólfsdóttir and Mikkel Lykke Pedersen and Jan Poulsen},
  author_short = {Aceto, L. and Ingólfsdóttir, A. and Lykke Pedersen, M. and Poulsen, J.},
  bibtype = {article},
  type = {article},
  year = {2000},
  key = {dblp4380026},
  id = {dblp4380026},
  biburl = {http://www.dblp.org/rec/bibtex/journals/ita/AcetoIPP00},
  url = {http://dx.doi.org/10.1051/ita:2000131},
  journal = {ITA},
  pages = {565-584},
  number = {6},
  volume = {34},
  text = {ITA 34(6):565-584 (2000)}
}

{"_id":"97dgPhGbKqi2jcWj4","bibbaseid":"aceto-inglfsdttir-lykkepedersen-poulsen-characteristicformulaefortimedautomata-2000","downloads":0,"creationDate":"2016-02-18T15:10:12.493Z","title":"Characteristic formulae for timed automata","author_short":["Aceto, L.","Ingólfsdóttir, A.","Lykke Pedersen, M.","Poulsen, J."],"year":2000,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/ita/AcetoIPP00","bibdata":{"title":"Characteristic formulae for timed automata","author":["Luca Aceto","Anna Ingólfsdóttir","Mikkel Lykke Pedersen","Jan Poulsen"],"author_short":["Aceto, L.","Ingólfsdóttir, A.","Lykke Pedersen, M.","Poulsen, J."],"bibtype":"article","type":"article","year":"2000","key":"dblp4380026","id":"dblp4380026","biburl":"http://www.dblp.org/rec/bibtex/journals/ita/AcetoIPP00","url":"http://dx.doi.org/10.1051/ita:2000131","journal":"ITA","pages":"565-584","number":"6","volume":"34","text":"ITA 34(6):565-584 (2000)","bibtex":"@article{ dblp4380026,\n title = {Characteristic formulae for timed automata},\n author = {Luca Aceto and Anna Ingólfsdóttir and Mikkel Lykke Pedersen and Jan Poulsen},\n author_short = {Aceto, L. and Ingólfsdóttir, A. and Lykke Pedersen, M. and Poulsen, J.},\n bibtype = {article},\n type = {article},\n year = {2000},\n key = {dblp4380026},\n id = {dblp4380026},\n biburl = {http://www.dblp.org/rec/bibtex/journals/ita/AcetoIPP00},\n url = {http://dx.doi.org/10.1051/ita:2000131},\n journal = {ITA},\n pages = {565-584},\n number = {6},\n volume = {34},\n text = {ITA 34(6):565-584 (2000)}\n}","bibbaseid":"aceto-inglfsdttir-lykkepedersen-poulsen-characteristicformulaefortimedautomata-2000","role":"author","urls":{"Paper":"http://dx.doi.org/10.1051/ita:2000131"},"downloads":0},"search_terms":["characteristic","formulae","timed","automata","aceto","ingólfsdóttir","lykke pedersen","poulsen"],"keywords":[],"authorIDs":[],"dataSources":["g9g9X7F33s3u7gDGt"]}