%0 Conference Paper %1 journals/entcs/YuWPML08 %A Yu, Xiao %A Wang, Zheng %A Pu, Geguang %A Mao, Dingding %A Liu, Jing %B TTSS %D 2007 %E Pu, Geguang %E Stolz, Volker %I Elsevier %K dblp %P 49-67 %T The Verification of rCOS Using Spin. %U http://dblp.uni-trier.de/db/journals/entcs/entcs207.html#YuWPML08 %V 207

@inproceedings{journals/entcs/YuWPML08, added-at = {2023-02-13T00:00:00.000+0100}, author = {Yu, Xiao and Wang, Zheng and Pu, Geguang and Mao, Dingding and Liu, Jing}, biburl = {https://www.bibsonomy.org/bibtex/2eaf52b73995891fd8430ea30259d93d1/dblp}, booktitle = {TTSS}, crossref = {conf/ttss/2007}, editor = {Pu, Geguang and Stolz, Volker}, ee = {https://doi.org/10.1016/j.entcs.2008.03.085}, interhash = {b17c6aba67f6d1ba79b987612198420e}, intrahash = {eaf52b73995891fd8430ea30259d93d1}, keywords = {dblp}, pages = {49-67}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T22:51:59.000+0200}, title = {The Verification of rCOS Using Spin.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs207.html#YuWPML08}, volume = 207, year = 2007 }