Bernardinello, Luca.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Application and theory of petri nets and concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings /
by:
International Conference on Applications and Theory of Petri Nets and Concurrency (2022 :); Bernardinello, Luca.; Petrucci, Laure.; SpringerLink (Online service)
(書目-電子資源)
Petri net synthesis
by:
Badouel, Eric.; Bernardinello, Luca.; Darondeau, Philippe.; SpringerLink (Online service)
(書目-電子資源)