This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications.

Verlag: Springer Berlin, 203 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 05.08.2013

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Transactions on Petri Nets and Other Models of Concurrency VIII

Produktform: Buch / Einband - flex.(Paperback)

This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications.

Verlag: Springer Berlin, Auflage 1, 203 Seiten

Erscheinungsdatum: 14.08.2013

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Erweiterte Suche

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Logic Synthesis for Asynchronous Controllers and Interfaces

Logic Synthesis for Asynchronous Controllers and Interfaces

Logic Synthesis for Asynchronous Controllers and Interfaces

Transactions on Petri Nets and Other Models of Concurrency VIII

Transactions on Petri Nets and Other Models of Concurrency VIII