@article{DBLP:journals/corr/MolinariMMPP16,
  author       = {Alberto Molinari and
                  Angelo Montanari and
                  Aniello Murano and
                  Giuseppe Perelli and
                  Adriano Peron},
  title        = {Checking Interval Properties of Computations},
  journal      = {CoRR},
  volume       = {abs/1601.03195},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.03195},
  eprinttype    = {arXiv},
  eprint       = {1601.03195},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MolinariMMPP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"uGfNKfu3HNnSx6X5y","bibbaseid":"molinari-montanari-murano-perelli-peron-checkingintervalpropertiesofcomputations-2016","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":["Molinari, A.","Montanari, A.","Murano, A.","Perelli, G.","Peron, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Molinari"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Perelli"],"suffixes":[]},{"firstnames":["Adriano"],"propositions":[],"lastnames":["Peron"],"suffixes":[]}],"title":"Checking Interval Properties of Computations","journal":"CoRR","volume":"abs/1601.03195","year":"2016","url":"http://arxiv.org/abs/1601.03195","eprinttype":"arXiv","eprint":"1601.03195","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/MolinariMMPP16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/MolinariMMPP16,\n author = {Alberto Molinari and\n Angelo Montanari and\n Aniello Murano and\n Giuseppe Perelli and\n Adriano Peron},\n title = {Checking Interval Properties of Computations},\n journal = {CoRR},\n volume = {abs/1601.03195},\n year = {2016},\n url = {http://arxiv.org/abs/1601.03195},\n eprinttype = {arXiv},\n eprint = {1601.03195},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/MolinariMMPP16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Molinari, A.","Montanari, A.","Murano, A.","Perelli, G.","Peron, A."],"key":"DBLP:journals/corr/MolinariMMPP16","id":"DBLP:journals/corr/MolinariMMPP16","bibbaseid":"molinari-montanari-murano-perelli-peron-checkingintervalpropertiesofcomputations-2016","role":"author","urls":{"Paper":"http://arxiv.org/abs/1601.03195"},"metadata":{"authorlinks":{"perelli, g":"https://giuseppeperelli.github.io/oldsite/"}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","creationDate":"2020-02-28T21:04:10.070Z","downloads":0,"keywords":[],"search_terms":["checking","interval","properties","computations","molinari","montanari","murano","perelli","peron"],"title":"Checking Interval Properties of Computations","year":2016,"dataSources":["Hsp4YyumSZ65qLatJ","kSN38gKTSZ2dArL6M","P3TQkzzbYMHFrjwn4","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}