%0 Conference Paper %1 conf/ictac/PandyaS13 %A Pandya, Paritosh K. %A Shah, Simoni S. %B ICTAC %D 2013 %E Liu, Zhiming %E Woodcock, Jim %E Zhu, Huibiao %I Springer %K dblp %P 301-318 %T Deterministic Logics for UL. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2013.html#PandyaS13 %V 8049 %@ 978-3-642-39717-2

@inproceedings{conf/ictac/PandyaS13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Pandya, Paritosh K. and Shah, Simoni S.}, biburl = {https://www.bibsonomy.org/bibtex/2bbbf6fe5e0f3c68dd20709f7ad87b759/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2013}, editor = {Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao}, ee = {https://doi.org/10.1007/978-3-642-39718-9_18}, interhash = {92df7d2db51c77a1c9e722562108e7c9}, intrahash = {bbbf6fe5e0f3c68dd20709f7ad87b759}, isbn = {978-3-642-39717-2}, keywords = {dblp}, pages = {301-318}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:02.000+0200}, title = {Deterministic Logics for UL.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2013.html#PandyaS13}, volume = 8049, year = 2013 }