Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Kacprzak, M. (Bialystok Univ. Bialystok, Poland) Lomuscio, A. (Kings Coll. London, United Kingdom) Lasica, T. (Polish Academy of Sciences Warsaw, Poland) Penczek, W. (Polish Academy of Sciences Warsaw, Poland) Szreter, M. (Polish Academy of Sciences Warsaw, Poland) Date Acquired
September 7, 2013
Publication Date
October 1, 2004
Publication Information
Publication: Proceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)
Subject Category
Mathematical And Computer Sciences (General) Funding Number(s)
CONTRACT_GRANT: PNCSR-4T12C-01325
CONTRACT_GRANT: N00014-04-1-4063
CONTRACT_GRANT: EPSRC-GR/S49353/01
CONTRACT_GRANT: NAL/00690/G
Distribution Limits
Public
Copyright
Public Use Permitted.