CONCUR 2002 - Concurrency Theory
13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Lubos Brim
Themen in »CONCUR 2002 - Concurrency Theory«
Bisimulation Concurrent Processing Concurrent Systems Distributed Computing Formal Verification Hybrid Systems Model Checking Parallel Computing Petri Nets Probabilistic Systems Systems Security concurrency logic petri net verification
Stimmen zu »CONCUR 2002 - Concurrency Theory«
Details
ISBN: 9783540456940
Verlag: Springer Berlin
Erscheinung: 02.08.2003