A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
P. Kefalas, M. Holcombe, G. Eleftherakis, M. Gheorghe. "Formal Development of Reactive Agent-Based Systems." Encyclopedia of Information Science and Technology, Second Edition 1555-1558