Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}