%0 Conference Paper %1 conf/fmoods/SmithT99 %A Smith, Scott F. %A Talcott, Carolyn L. %B FMOODS %D 1999 %E Ciancarini, Paolo %E Fantechi, Alessandro %E Gorrieri, Roberto %I Kluwer %K dblp %T Modular Reasoning for Actor Specification Diagrams. %U http://dblp.uni-trier.de/db/conf/fmoods/fmoods1999.html#SmithT99 %V 139 %@ 0-7923-8429-6

@inproceedings{conf/fmoods/SmithT99, added-at = {2002-10-21T00:00:00.000+0200}, author = {Smith, Scott F. and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2262bae37479662eb7d82b97b938af629/dblp}, booktitle = {FMOODS}, crossref = {conf/fmoods/1999}, date = {2002-10-21}, description = {dblp}, editor = {Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Roberto}, interhash = {50b484899fe6475900211ec9a6c4898a}, intrahash = {262bae37479662eb7d82b97b938af629}, isbn = {0-7923-8429-6}, keywords = {dblp}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2002-10-21T00:00:00.000+0200}, title = {Modular Reasoning for Actor Specification Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods1999.html#SmithT99}, volume = 139, year = 1999 }