%0 Journal Article %1 journals/tse/InverardiW95 %A Inverardi, Paola %A Wolf, Alexander L. %D 1995 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 373-386 %T Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. %U http://dblp.uni-trier.de/db/journals/tse/tse21.html#InverardiW95 %V 21

@article{journals/tse/InverardiW95, added-at = {2022-08-16T00:00:00.000+0200}, author = {Inverardi, Paola and Wolf, Alexander L.}, biburl = {https://www.bibsonomy.org/bibtex/2bd0e29326838d6331d4ea4d129e13517/dblp}, ee = {https://www.wikidata.org/entity/Q111898494}, interhash = {73b1c16d6f63e3bddef40a753aa919d4}, intrahash = {bd0e29326838d6331d4ea4d129e13517}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {373-386}, timestamp = {2024-04-08T21:06:43.000+0200}, title = {Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse21.html#InverardiW95}, volume = 21, year = 1995 }