%0 Conference Paper %1 conf/cav/LaiPD90 %A Lai, Richard %A Parker, Ken R. %A Dillon, Tharam S. %B CAV %D 1990 %E Clarke, Edmund M. %E Kurshan, Robert P. %I Springer %K dblp %P 126-135 %T On Using Protean To Verify ISO FTAM Protocol. %U http://dblp.uni-trier.de/db/conf/cav/cav1990.html#LaiPD90 %V 531 %@ 3-540-54477-1

@inproceedings{conf/cav/LaiPD90, added-at = {2019-07-23T00:00:00.000+0200}, author = {Lai, Richard and Parker, Ken R. and Dillon, Tharam S.}, biburl = {https://www.bibsonomy.org/bibtex/2f127277b28aa98f3fef2dcd6a7f9d2e3/dblp}, booktitle = {CAV}, crossref = {conf/cav/1990}, editor = {Clarke, Edmund M. and Kurshan, Robert P.}, ee = {https://doi.org/10.1007/BFb0023726}, interhash = {87ee09d0ce6a78267fe61af4593d6bde}, intrahash = {f127277b28aa98f3fef2dcd6a7f9d2e3}, isbn = {3-540-54477-1}, keywords = {dblp}, pages = {126-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-24T11:40:54.000+0200}, title = {On Using Protean To Verify ISO FTAM Protocol.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav1990.html#LaiPD90}, volume = 531, year = 1990 }