%0 Conference Paper %1 conf/ftscs/LinOKA15 %A Lin, Hsin-Hung %A Omori, Yoichi %A Kusakabe, Shigeru %A Araki, Keijiro %B FTSCS %D 2015 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I Springer %K dblp %P 241-256 %T Towards Verifying VDM Using SPIN. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#LinOKA15 %V 596 %@ 978-3-319-29509-1

@inproceedings{conf/ftscs/LinOKA15, added-at = {2016-02-05T00:00:00.000+0100}, author = {Lin, Hsin-Hung and Omori, Yoichi and Kusakabe, Shigeru and Araki, Keijiro}, biburl = {https://www.bibsonomy.org/bibtex/2fb1c529561693e1b9a063ccb7c7868a3/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2015}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {http://dx.doi.org/10.1007/978-3-319-29510-7_14}, interhash = {b354046055419754739ef37fa526b0c5}, intrahash = {fb1c529561693e1b9a063ccb7c7868a3}, isbn = {978-3-319-29509-1}, keywords = {dblp}, pages = {241-256}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2016-02-06T11:51:42.000+0100}, title = {Towards Verifying VDM Using SPIN.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#LinOKA15}, volume = 596, year = 2015 }