%0 Conference Paper %1 conf/formats/KiniKP11 %A Kini, Dileep Raghunath %A Krishna, Shankara Narayanan %A Pandya, Paritosh K. %B FORMATS %D 2011 %E Fahrenberg, Uli %E Tripakis, Stavros %I Springer %K dblp %P 225-239 %T On Construction of Safety Signal Automata for $MITL\: U, \: S$ Using Temporal Projections. %U http://dblp.uni-trier.de/db/conf/formats/formats2011.html#KiniKP11 %V 6919 %@ 978-3-642-24309-7

@inproceedings{conf/formats/KiniKP11, added-at = {2017-05-26T00:00:00.000+0200}, author = {Kini, Dileep Raghunath and Krishna, Shankara Narayanan and Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/295faeb694ee8c799114d08ffbdab1f38/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2011}, editor = {Fahrenberg, Uli and Tripakis, Stavros}, ee = {https://doi.org/10.1007/978-3-642-24310-3_16}, interhash = {a2ea583339819ad17ffcf695698944c4}, intrahash = {95faeb694ee8c799114d08ffbdab1f38}, isbn = {978-3-642-24309-7}, keywords = {dblp}, pages = {225-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:19.000+0200}, title = {On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2011.html#KiniKP11}, volume = 6919, year = 2011 }