%0 Conference Paper %1 conf/icnp/HuangHLPH93 %A Huang, Chung-Ming %A Hsu, Jenq-Muh %A Lai, Huei-Yang %A Pong, Jao-Chiang %A Huang, Duen-Tay %B ICNP %D 1993 %I IEEE Computer Society %K dblp %P 326-333 %T An Estelle interpreter for incremental protocol verification. %U http://dblp.uni-trier.de/db/conf/icnp/icnp1993.html#HuangHLPH93 %@ 0-8186-3670-X

@inproceedings{conf/icnp/HuangHLPH93, added-at = {2023-03-24T00:00:00.000+0100}, author = {Huang, Chung-Ming and Hsu, Jenq-Muh and Lai, Huei-Yang and Pong, Jao-Chiang and Huang, Duen-Tay}, biburl = {https://www.bibsonomy.org/bibtex/243a6c1e1ff46895c7b2fd27adf9936c5/dblp}, booktitle = {ICNP}, crossref = {conf/icnp/1993}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICNP.1993.340895}, interhash = {00182fe164eafdff35e2ac517d4d9798}, intrahash = {43a6c1e1ff46895c7b2fd27adf9936c5}, isbn = {0-8186-3670-X}, keywords = {dblp}, pages = {326-333}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:13:41.000+0200}, title = {An Estelle interpreter for incremental protocol verification.}, url = {http://dblp.uni-trier.de/db/conf/icnp/icnp1993.html#HuangHLPH93}, year = 1993 }