@article{DBLP:journals/ita/AcetoIPP00,
  author    = {Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               Mikkel Lykke Pedersen and
               Jan Poulsen},
  title     = {Characteristic formulae for timed automata},
  journal   = {{ITA}},
  volume    = {34},
  number    = {6},
  pages     = {565--584},
  year      = {2000},
  url       = {https://doi.org/10.1051/ita:2000131},
  doi       = {10.1051/ita:2000131},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ita/AcetoIPP00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"63p5p47yRXPCmPYcQ","bibbaseid":"aceto-inglfsdttir-pedersen-poulsen-characteristicformulaefortimedautomata-2000","downloads":0,"creationDate":"2019-03-14T12:11:49.460Z","title":"Characteristic formulae for timed automata","author_short":["Aceto, L.","Ingólfsdóttir, A.","Pedersen, M. L.","Poulsen, J."],"year":2000,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]},{"firstnames":["Mikkel","Lykke"],"propositions":[],"lastnames":["Pedersen"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Poulsen"],"suffixes":[]}],"title":"Characteristic formulae for timed automata","journal":"ITA","volume":"34","number":"6","pages":"565–584","year":"2000","url":"https://doi.org/10.1051/ita:2000131","doi":"10.1051/ita:2000131","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/ita/AcetoIPP00","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ita/AcetoIPP00,\n author = {Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir and\n Mikkel Lykke Pedersen and\n Jan Poulsen},\n title = {Characteristic formulae for timed automata},\n journal = {{ITA}},\n volume = {34},\n number = {6},\n pages = {565--584},\n year = {2000},\n url = {https://doi.org/10.1051/ita:2000131},\n doi = {10.1051/ita:2000131},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/ita/AcetoIPP00},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Ingólfsdóttir, A.","Pedersen, M. L.","Poulsen, J."],"key":"DBLP:journals/ita/AcetoIPP00","id":"DBLP:journals/ita/AcetoIPP00","bibbaseid":"aceto-inglfsdttir-pedersen-poulsen-characteristicformulaefortimedautomata-2000","role":"author","urls":{"Paper":"https://doi.org/10.1051/ita:2000131"},"downloads":0},"search_terms":["characteristic","formulae","timed","automata","aceto","ingólfsdóttir","pedersen","poulsen"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}