Publications

An Approach to the Formal Specification of Holonic Control Systems

AuthID
P-00H-0NM

Author(s)

Leitão, P

Colombo, AW

Restivo, F

Editor(s)

McFarlane,D;Marik,V;Valckenaers,P;Marik,V

Document Type

Proceedings Paper

Year published

2003

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 2744, Pages: 59-70

Conference

1St International Conference on Industrial Applications of Holonic and Multi-Agent Systems, Holomas 2003, Date: 1 September 2003 through 3 September 2003

Indexing