%0 Conference Paper %1 conf/sofl/XuMSD16 %A Xu, Qingguo %A Miao, Huaikou %A de Simone, Robert %A DeAntoni, Julien %B SOFL+MSVL %D 2016 %E Liu, Shaoying %E Duan, Zhenhua %E Tian, Cong %E Nagoya, Fumiko %K dblp %P 32-51 %T Instant-Based and State-Based Analysis of Infinite Logical Clock. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#XuMSD16 %V 10189 %@ 978-3-319-57708-1

@inproceedings{conf/sofl/XuMSD16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Xu, Qingguo and Miao, Huaikou and de Simone, Robert and DeAntoni, Julien}, biburl = {https://www.bibsonomy.org/bibtex/2f2e536dbfb1e69f5b9d418b4d993d00a/dblp}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2016}, editor = {Liu, Shaoying and Duan, Zhenhua and Tian, Cong and Nagoya, Fumiko}, ee = {https://doi.org/10.1007/978-3-319-57708-1_3}, interhash = {f5a11505c93f9f2954fdaba0f019f997}, intrahash = {f2e536dbfb1e69f5b9d418b4d993d00a}, isbn = {978-3-319-57708-1}, keywords = {dblp}, pages = {32-51}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:36:36.000+0200}, title = {Instant-Based and State-Based Analysis of Infinite Logical Clock.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#XuMSD16}, volume = 10189, year = 2016 }