%0 Conference Paper %1 conf/sefm/MatteplackelPW17 %A Matteplackel, Raj Mohan %A Pandya, Paritosh K. %A Wakankar, Amol %B SEFM %D 2017 %E Cimatti, Alessandro %E Sirjani, Marjan %I Springer %K dblp %P 253-268 %T Formalizing Timing Diagram Requirements in Discrete Duration Calculus. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#MatteplackelPW17 %V 10469 %@ 978-3-319-66197-1

@inproceedings{conf/sefm/MatteplackelPW17, added-at = {2017-08-24T00:00:00.000+0200}, author = {Matteplackel, Raj Mohan and Pandya, Paritosh K. and Wakankar, Amol}, biburl = {https://www.bibsonomy.org/bibtex/2fdd94f8e6a827825ab96b66629d6dd84/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2017}, editor = {Cimatti, Alessandro and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-319-66197-1_16}, interhash = {1be4b11e9accf6dbbe1ff0ea24371748}, intrahash = {fdd94f8e6a827825ab96b66629d6dd84}, isbn = {978-3-319-66197-1}, keywords = {dblp}, pages = {253-268}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:57.000+0200}, title = {Formalizing Timing Diagram Requirements in Discrete Duration Calculus.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#MatteplackelPW17}, volume = 10469, year = 2017 }