search result

Cover von Concurrency theory
calculi and automata for modelling untimed and timed concurrent systems
Author: Bowman, Howard; Gomez, Rodolfo Search for this author
Year: 2006
Publisher: London, Springer
Media group: MONOGRAPHIE
Cover von Formal methods for distributed processing
a survey of object-oriented approaches
Search for this author
Year: 2002
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Special section on formal methods for object systems; 7
S. 577 - 672
Search for this author
Year: 2000
Publisher: Piscataway, IEEE
Count: 7
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0