%0 Conference Paper %1 conf/iceccs/RouffRH00 %A Rouff, Christopher A. %A Rash, James L. %A Hinchey, Michael G. %B ICECCS %D 2000 %I IEEE Computer Society %K dblp %P 72- %T Experience Using Formal Methods for Specifying a Multi-Agent System. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2000.html#RouffRH00 %@ 0-7695-0583-X

@inproceedings{conf/iceccs/RouffRH00, added-at = {2017-05-31T00:00:00.000+0200}, author = {Rouff, Christopher A. and Rash, James L. and Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/2cb0e1845dbcc878e52aa227a3da0e5fc/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2000}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2000.873929}, interhash = {7878790f547021f9561129e5bcb06cf0}, intrahash = {cb0e1845dbcc878e52aa227a3da0e5fc}, isbn = {0-7695-0583-X}, keywords = {dblp}, pages = {72-}, publisher = {IEEE Computer Society}, timestamp = {2017-06-01T11:40:33.000+0200}, title = {Experience Using Formal Methods for Specifying a Multi-Agent System.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2000.html#RouffRH00}, year = 2000 }