%0 Conference Paper %1 journals/entcs/LuukkainenSG05 %A Luukkainen, Matti %A Shanbhag, Vivek K. %A Gopinath, K. %B SVV@ICLP %D 2003 %E Etalle, Sandro %E Mukhopadhyay, Supratik %E Roychoudhury, Abhik %I Elsevier %K dblp %P 71-85 %T Verifying a UMTS Protocol Using Spin and EASN. %U http://dblp.uni-trier.de/db/journals/entcs/entcs118.html#LuukkainenSG05 %V 118

@inproceedings{journals/entcs/LuukkainenSG05, added-at = {2022-12-13T00:00:00.000+0100}, author = {Luukkainen, Matti and Shanbhag, Vivek K. and Gopinath, K.}, biburl = {https://www.bibsonomy.org/bibtex/2ffa06a1f1da373b135405173f1cf1b32/dblp}, booktitle = {SVV@ICLP}, crossref = {conf/iclp/2003svv}, editor = {Etalle, Sandro and Mukhopadhyay, Supratik and Roychoudhury, Abhik}, ee = {https://doi.org/10.1016/j.entcs.2004.11.007}, interhash = {0d6c5dc077e6e20909c08fba4a0b8d6d}, intrahash = {ffa06a1f1da373b135405173f1cf1b32}, keywords = {dblp}, pages = {71-85}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:09:38.000+0200}, title = {Verifying a UMTS Protocol Using Spin and EASN.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs118.html#LuukkainenSG05}, volume = 118, year = 2003 }