Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 books/idea/encyclopedia2005/KefalasHEG05
%A Kefalas, Petros
%A Holcombe, Mike
%A Eleftherakis, George
%A Gheorghe, Marian
%B Encyclopedia of Information Science and Technology (II)
%D 2005
%E Khosrow-Pour, Mehdi
%I Idea Group
%K
%P 1201-1204
%T Formal Development of Reactive Agent-Based Systems.
%U http://dblp.uni-trier.de/db/books/collections/encyclopedia2005.html#KefalasHEG05
%@ 1-59140-553-X
@incollection{books/idea/encyclopedia2005/KefalasHEG05,
added-at = {2023-12-13T00:08:24.000+0100},
author = {Kefalas, Petros and Holcombe, Mike and Eleftherakis, George and Gheorghe, Marian},
biburl = {https://www.bibsonomy.org/bibtex/21163be21961f1355cbf3e7b5d93d6efc/admin},
booktitle = {Encyclopedia of Information Science and Technology (II)},
crossref = {books/idea/Ency05},
editor = {Khosrow-Pour, Mehdi},
ee = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=14411},
interhash = {5f4d72c7448738c1280e90d0a698d7f1},
intrahash = {1163be21961f1355cbf3e7b5d93d6efc},
isbn = {1-59140-553-X},
keywords = {},
pages = {1201-1204},
publisher = {Idea Group},
timestamp = {2023-12-13T00:08:24.000+0100},
title = {Formal Development of Reactive Agent-Based Systems.},
url = {http://dblp.uni-trier.de/db/books/collections/encyclopedia2005.html#KefalasHEG05},
year = 2005
}