UNICA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.
EnglishCounterexamples to «Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods» / XIE X; GIUA A. - In: IEEE TRANSACTIONS ON AUTOMATIC CONTROL. - ISSN 0018-9286. - 49:7(2004), pp. 1217-1219.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | Counterexamples to «Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods» |
| Autori: | |
| Data di pubblicazione: | 2004 |
| Rivista: | |
| Citazione: | Counterexamples to «Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods» / XIE X; GIUA A. - In: IEEE TRANSACTIONS ON AUTOMATIC CONTROL. - ISSN 0018-9286. - 49:7(2004), pp. 1217-1219. |
| Handle: | http://hdl.handle.net/11584/12620 |
| Tipologia: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020