A Logic-Based Method for BPMN Diagrams Verification (Rapporti tecnici/preprint/working paper)

Type
Label
  • A Logic-Based Method for BPMN Diagrams Verification (Rapporti tecnici/preprint/working paper) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • De Nicola, A.; Missikoff, M.; Proietti, M., Smith, F. (2009)
    A Logic-Based Method for BPMN Diagrams Verification
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • De Nicola, A.; Missikoff, M.; Proietti, M., Smith, F. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 09-07 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Rapporto di Ricerca IASI-CNR n.09-07 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • IASI-CNR (literal)
Titolo
  • A Logic-Based Method for BPMN Diagrams Verification (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it