Pillars of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540781264, 9783540781271
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Boris A. Trakhtenbrot: Academic Genealogy and Publications

2008 ◽  
pp. 46-57
Author(s):  
Arnon Avron ◽  
Nachum Dershowitz ◽  
Alexander Rabinovich
Keyword(s):  
Academic Genealogy

The Reaction Algebra: A Formal Language for Event Correlation

2008 ◽  
pp. 596-619 ◽  
Author(s):  
César Sánchez ◽  
Matteo Slanina ◽  
Henny B. Sipma ◽  
Zohar Manna
Keyword(s):  
Formal Language ◽  
Event Correlation

scholarly journals Temporal Verification of Probabilistic Multi-Agent Systems

2008 ◽  
pp. 256-265 ◽  
Author(s):  
Michael I. Dekhtyar ◽  
Alexander Ja. Dikovsky ◽  
Mars K. Valiev
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent
Load More ...
Sign in / Sign up

Export Citation Format

Share Document