@inproceedings{gandalf12,
    Author = {D. Bresolin and Della Monica, D. and A. Montanari
              and P. Sala and G. Sciavicco},
    Title = {{I}nterval {T}emporal {L}ogics over Strongly Discrete
             Linear Orders: the Complete Picture},
    Booktitle = {Proc. of the 3rd International Symposium on Games,
                 Automata, Logics and Formal Verification (GandALF)},
    doi       = {10.4204/EPTCS.96.12},
    Year = {2012},
    Month = {September},
    Address = {Naples, Italy}
}

{"_id":"YzHxnWYTFzzFetopk","bibbaseid":"bresolin-dellamonica-montanari-sala-sciavicco-intervaltemporallogicsoverstronglydiscretelinearordersthecompletepicture-2012","author_short":["Bresolin, D.","Della Monica, D.","Montanari, A.","Sala, P.","Sciavicco, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"propositions":[],"lastnames":["Della","Monica"],"firstnames":["D."],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Montanari"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Sala"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]}],"title":"Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture","booktitle":"Proc. of the 3rd International Symposium on Games, Automata, Logics and Formal Verification (GandALF)","doi":"10.4204/EPTCS.96.12","year":"2012","month":"September","address":"Naples, Italy","bibtex":"@inproceedings{gandalf12,\r\n Author = {D. Bresolin and Della Monica, D. and A. Montanari\r\n and P. Sala and G. Sciavicco},\r\n Title = {{I}nterval {T}emporal {L}ogics over Strongly Discrete\r\n Linear Orders: the Complete Picture},\r\n Booktitle = {Proc. of the 3rd International Symposium on Games,\r\n Automata, Logics and Formal Verification (GandALF)},\r\n doi = {10.4204/EPTCS.96.12},\r\n Year = {2012},\r\n Month = {September},\r\n Address = {Naples, Italy}\r\n}\r\n\r\n","author_short":["Bresolin, D.","Della Monica, D.","Montanari, A.","Sala, P.","Sciavicco, G."],"key":"gandalf12","id":"gandalf12","bibbaseid":"bresolin-dellamonica-montanari-sala-sciavicco-intervaltemporallogicsoverstronglydiscretelinearordersthecompletepicture-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://users.dimi.uniud.it/~dario.dellamonica/pubs/biblio.bib","dataSources":["XKYzHk9y65Aw5X8qY"],"keywords":[],"search_terms":["interval","temporal","logics","over","strongly","discrete","linear","orders","complete","picture","bresolin","della monica","montanari","sala","sciavicco"],"title":"Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture","year":2012}