%0 Journal Article %1 journals/spe/Paton94 %A Paton, Keith %D 1994 %J Softw. Pract. Exp. %K dblp %N 4 %P 405-420 %T Description of Essential System Behaviour using Message-state Tables. %U http://dblp.uni-trier.de/db/journals/spe/spe24.html#Paton94 %V 24

@article{journals/spe/Paton94, added-at = {2020-04-09T00:00:00.000+0200}, author = {Paton, Keith}, biburl = {https://www.bibsonomy.org/bibtex/23dbe7f60eb3afc197d489c1b483ba1d6/dblp}, ee = {https://doi.org/10.1002/spe.4380240406}, interhash = {ae3bd4f416df0a23ceb91aff2b89828c}, intrahash = {3dbe7f60eb3afc197d489c1b483ba1d6}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 4, pages = {405-420}, timestamp = {2020-04-10T11:52:56.000+0200}, title = {Description of Essential System Behaviour using Message-state Tables.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe24.html#Paton94}, volume = 24, year = 1994 }