%0 Conference Paper %1 conf/icdcsw/WangMG00 %A Wang, Bow-Yaw %A Meseguer, José %A Gunter, Carl A. %B ICDCS Workshop on Distributed System Validation and Verification %D 2000 %E Lai, Ten-Hwang %K dblp %P E49-E56 %T Specification and Formal Analysis of a PLAN Algorithm in Maude. %U http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#WangMG00

@inproceedings{conf/icdcsw/WangMG00, added-at = {2023-09-21T00:00:00.000+0200}, author = {Wang, Bow-Yaw and Meseguer, José and Gunter, Carl A.}, biburl = {https://www.bibsonomy.org/bibtex/2995d50c5ddef32aae3a0346bc0c64e99/dblp}, booktitle = {ICDCS Workshop on Distributed System Validation and Verification}, crossref = {conf/icdcsw/2000}, editor = {Lai, Ten-Hwang}, interhash = {d6c36fecec0c6e1403761190ca271e78}, intrahash = {995d50c5ddef32aae3a0346bc0c64e99}, keywords = {dblp}, pages = {E49-E56}, timestamp = {2024-04-10T20:02:39.000+0200}, title = {Specification and Formal Analysis of a PLAN Algorithm in Maude.}, url = {http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#WangMG00}, year = 2000 }