%0 Journal Article %1 journals/fmsd/BaileyMM94 %A Bailey, Andrew M. %A McCaskill, George Alexander %A Milne, George J. %D 1994 %J Formal Methods Syst. Des. %K dblp %N 3 %P 213-242 %T An Exercise in the Automatic Verification of Asynchronous Designs. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd4.html#BaileyMM94 %V 4

@article{journals/fmsd/BaileyMM94, added-at = {2020-03-13T00:00:00.000+0100}, author = {Bailey, Andrew M. and McCaskill, George Alexander and Milne, George J.}, biburl = {https://www.bibsonomy.org/bibtex/299891ceb13f144919ef0b05a831f66d6/dblp}, ee = {https://doi.org/10.1007/BF01384047}, interhash = {d7462482fe511209a2537cd824f08693}, intrahash = {99891ceb13f144919ef0b05a831f66d6}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {213-242}, timestamp = {2020-03-14T11:51:31.000+0100}, title = {An Exercise in the Automatic Verification of Asynchronous Designs.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd4.html#BaileyMM94}, volume = 4, year = 1994 }