@inproceedings{DBLP:conf/time/MontanariMPP14,
  author       = {Angelo Montanari and
                  Aniello Murano and
                  Giuseppe Perelli and
                  Adriano Peron},
  editor       = {Amedeo Cesta and
                  Carlo Combi and
                  Fran{\c{c}}ois Laroussinie},
  title        = {Checking Interval Properties of Computations},
  booktitle    = {21st International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2014, Verona, Italy, September 8-10, 2014},
  pages        = {59--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/TIME.2014.24},
  doi          = {10.1109/TIME.2014.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/MontanariMPP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"mHQj7NjMZgcyiPot4","bibbaseid":"montanari-murano-perelli-peron-checkingintervalpropertiesofcomputations-2014","authorIDs":["27AAjNDH3eGyX3kAG","5e597ced8049fcde01000032","5e5fa91819c3fade010000c4","5e610d2131c7d3de0100025f","5e65076e9eed46de0100004a","5e6aaadaf216f6de01000129","62BzuGuQtetH6F3cf","73Rh8BSJgqcii5cD3","7aQ2zeLMoyj6CHpBu","8QYqvnERKkScTLpXt","939RNK33yrPF4hHck","9QZmYec3ABqZqB9ed","9R3rFYeegwqLCtFQ7","9y2sud2AwvG4Tfdrm","Am2578MapgxQHtFf4","AqbTCnnCr8sLjTmdv","Ax9iPx6jhgbzjgAsq","C4ESoeg7imBRZM8Wr","DCAwSuxCjnszReHdG","FSKJKgCA2iK6ike3h","G2yqkXwcYagjLqEat","Gj4YRNsBu7wtb4vXY","HcptFeK4rg5nYWiFa","HfSGhTtE2kahBfnm8","HuLSgG4PJuPLGpoMZ","JYgujoQ6Yr9gf5vNm","JqvuFYYZoqT3y5hMJ","JsDz5ZfswX5PojvGF","L9SALwZHK7h4cnemm","M8ugQbFqc7J2SZZkb","MFXN3rfY97dER4uaF","MZzQLYonZyupKJJTW","Mj26qo7ejPRPakyYe","P7Rrykvikzyq7PH8F","SJHQwhWmEBwe2BkD3","TXDn8che9rTzjmrA5","W7Y9wsvLY9xYhYm7h","WrDgnRcn4BB4Pa2dL","XFeNGvuLa7vugKn8p","b932A83vqaao9vcAc","g5b8qR96euxXJQuwo","kWEPDQzitMRJ7Zfhd","kZpNRST28n9ZjkEjH","n5xPfBLskvCDRBk9A","pJotjgR9RGRzfaYDG","phZeTXoR5izbbuka9","qNnrc72DLfCFyCBuC","qWWZLuDKbdrQDYuXX","uiiEzMohLiEYpDQLf","uj2FY3LBd7XX9c4LZ","wGdyWcm2XzfxzJTEK","xPnSDmeSsJoXtiWXX","xWfKBfkZej5XRKp8G"],"author_short":["Montanari, A.","Murano, A.","Perelli, G.","Peron, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Perelli"],"suffixes":[]},{"firstnames":["Adriano"],"propositions":[],"lastnames":["Peron"],"suffixes":[]}],"editor":[{"firstnames":["Amedeo"],"propositions":[],"lastnames":["Cesta"],"suffixes":[]},{"firstnames":["Carlo"],"propositions":[],"lastnames":["Combi"],"suffixes":[]},{"firstnames":["François"],"propositions":[],"lastnames":["Laroussinie"],"suffixes":[]}],"title":"Checking Interval Properties of Computations","booktitle":"21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014","pages":"59–68","publisher":"IEEE Computer Society","year":"2014","url":"https://doi.org/10.1109/TIME.2014.24","doi":"10.1109/TIME.2014.24","timestamp":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/time/MontanariMPP14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/time/MontanariMPP14,\n author = {Angelo Montanari and\n Aniello Murano and\n Giuseppe Perelli and\n Adriano Peron},\n editor = {Amedeo Cesta and\n Carlo Combi and\n Fran{\\c{c}}ois Laroussinie},\n title = {Checking Interval Properties of Computations},\n booktitle = {21st International Symposium on Temporal Representation and Reasoning,\n {TIME} 2014, Verona, Italy, September 8-10, 2014},\n pages = {59--68},\n publisher = {{IEEE} Computer Society},\n year = {2014},\n url = {https://doi.org/10.1109/TIME.2014.24},\n doi = {10.1109/TIME.2014.24},\n timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/time/MontanariMPP14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Montanari, A.","Murano, A.","Perelli, G.","Peron, A."],"editor_short":["Cesta, A.","Combi, C.","Laroussinie, F."],"key":"DBLP:conf/time/MontanariMPP14","id":"DBLP:conf/time/MontanariMPP14","bibbaseid":"montanari-murano-perelli-peron-checkingintervalpropertiesofcomputations-2014","role":"author","urls":{"Paper":"https://doi.org/10.1109/TIME.2014.24"},"metadata":{"authorlinks":{"perelli, g":"https://giuseppeperelli.github.io/oldsite/"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","creationDate":"2020-02-28T16:43:43.714Z","downloads":2,"keywords":[],"search_terms":["checking","interval","properties","computations","montanari","murano","perelli","peron"],"title":"Checking Interval Properties of Computations","year":2014,"dataSources":["Hsp4YyumSZ65qLatJ","kSN38gKTSZ2dArL6M","P3TQkzzbYMHFrjwn4","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}