Idioma:

Transactions on Petri Nets and Other Models of Concurrency VIII

Koutny, Maciej ; van der Aalst, Wil M. P ; Yakovlev, Alex Yakovlev, Alex ; Koutny, Maciej ; van der Aalst, Wil M. P

Texto completo disponível

Citações Citado por

Título:
Transactions on Petri Nets and Other Models of Concurrency VIII
Autor: Koutny, Maciej ; van der Aalst, Wil M. P ; Yakovlev, Alex
Yakovlev, Alex ; Koutny, Maciej ; van der Aalst, Wil M. P
Assuntos: Computer programming, programs, data ; Parallel processing (Electronic computers) ; Petri nets ; Petri nets-Congresses
Descrição: 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.
Títulos relacionados: Lecture Notes in Computer Science
Editor: Netherlands: Springer Nature
Data de criação/publicação: 2013
Formato: 216
Idioma: Inglês

Voltar para lista de resultados