%0 Conference Paper %1 journals/corr/BersaniRP13 %A Bersani, Marcello Maria %A Rossi, Matteo %A Pietro, Pierluigi San %B GandALF %D 2013 %E Puppis, Gabriele %E Villa, Tiziano %K dblp %P 64-78 %T Deciding the Satisfiability of MITL Specifications. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs119.html#BersaniRP13 %V 119

@inproceedings{journals/corr/BersaniRP13, added-at = {2023-04-17T00:00:00.000+0200}, author = {Bersani, Marcello Maria and Rossi, Matteo and Pietro, Pierluigi San}, biburl = {https://www.bibsonomy.org/bibtex/2e08169e779675b88f0de278538845c03/dblp}, booktitle = {GandALF}, crossref = {journals/corr/PuppisV13}, editor = {Puppis, Gabriele and Villa, Tiziano}, ee = {http://arxiv.org/abs/1307.4469}, interhash = {ce1c41ce3bb38f4d847b7eb9258161f5}, intrahash = {e08169e779675b88f0de278538845c03}, keywords = {dblp}, pages = {64-78}, series = {EPTCS}, timestamp = {2024-04-10T10:56:47.000+0200}, title = {Deciding the Satisfiability of MITL Specifications.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs119.html#BersaniRP13}, volume = 119, year = 2013 }