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