Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Decision diagrams for Petri nets: which variable ordering?

Contributo in Atti di convegno
Data di Pubblicazione:
2017
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
Autori di Ateneo:
AMPARORE Elvio Gilberto
BECCUTI Marco
DONATELLI Susanna
Link alla scheda completa:
https://iris.unito.it/handle/2318/1663788
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/1663788/400682/dd-varorder-PNSE17.pdf
Titolo del libro:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17),
Pubblicato in:
CEUR WORKSHOP PROCEEDINGS
Journal
CEUR WORKSHOP PROCEEDINGS
Series
  • Dati Generali

Dati Generali

URL

http://ceur-ws.org/Vol-1846/
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.5.3.0