Formal Development of Reactive Agent-Based Systems [chapter]

P. Kefalas, M. Holcombe, G. Eleftherakis, M. Gheorghe
Encyclopedia of Information Science and Technology, Second Edition  
doi:10.4018/978-1-60566-026-4.ch246 fatcat:occn2yq2grbxfa2nlizykystxa