Pages that link to "Item:Q350966"
From MaRDI portal
The following pages link to A verifiable low-level concurrent programming model based on colored Petri nets (Q350966):
Displaying 2 items.
The following pages link to A verifiable low-level concurrent programming model based on colored Petri nets (Q350966):
Displaying 2 items.