Originalspråk | Odefinierat/okänt |
---|---|
Förlag | Turku Centre for Computer Science (TUCS) |
ISBN (tryckt) | 978-952-12-3209-1 |
Status | Publicerad - 2015 |
MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Full Structural Model Refinement as Type Refinement of Colored Petri Nets
Diana-Elena Gratie, Ion Petre
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
1
Citeringar
(Scopus)