Did you mean: hannes

search result

Cover von Concurrency verification
introduction to compositional and noncompositional methods
Search for this author
Year: 2001
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 54
Media group: MONOGRAPHIE
OPEN V 11.1.0.0