Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code...”