Central Library Search for 'au:"Valmari, Antti."'

Application and Theory of Petri Nets and Concurrency

. X, 351 p. 129 illus. 9783319194882

Place Hold on Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

. X, 351 p. 129 illus. 9783319194882

Place Hold on Application and Theory of Petri Nets and Concurrency

Model Checking Software

. X, 308 p. 9783540331032

Place Hold on Model Checking Software