Formal Approaches to Agent-Based Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540427162, 9783540454847
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Livingstone to SMV

2001 ◽  
pp. 103-113 ◽  
Author(s):  
Charles Pecheur ◽  
Reid Simmons

Verification within the KARO Agent Theory

2001 ◽  
pp. 33-47 ◽  
Author(s):  
Ullrich Hustadt ◽  
Clare Dixon ◽  
Renate A. Schmidt ◽  
Michael Fisher ◽  
John-Jules Meyer ◽  
...  
Keyword(s):  
Agent Theory

scholarly journals Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude

2001 ◽  
pp. 180-193 ◽  
Author(s):  
Jeffrey Van Baalen ◽  
James L. Caldwell ◽  
Shivakant Mishra
Keyword(s):  
Fault Tolerant ◽  
Agent Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document