%0 Conference Paper %1 conf/icse/DangK99 %A Dang, Zhe %A Kemmerer, Richard A. %B ICSE %D 1999 %E Boehm, Barry W. %E Garlan, David %E Kramer, Jeff %I ACM %K dblp %P 132-142 %T Using the ASTRAL Model Checker to Analyze Mobile IP. %U http://dblp.uni-trier.de/db/conf/icse/icse99.html#DangK99 %@ 1-58113-074-0

@inproceedings{conf/icse/DangK99, added-at = {2018-11-06T00:00:00.000+0100}, author = {Dang, Zhe and Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/2dd8fe81e45646878f67e32e7c280e691/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1999}, editor = {Boehm, Barry W. and Garlan, David and Kramer, Jeff}, ee = {https://doi.org/10.1145/302405.302459}, interhash = {a25d813a8463ff04a9c58311049c8068}, intrahash = {dd8fe81e45646878f67e32e7c280e691}, isbn = {1-58113-074-0}, keywords = {dblp}, pages = {132-142}, publisher = {ACM}, timestamp = {2018-11-07T16:34:03.000+0100}, title = {Using the ASTRAL Model Checker to Analyze Mobile IP.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse99.html#DangK99}, year = 1999 }