Pages that link to "Item:Q3636840"
From MaRDI portal
The following pages link to Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840):
Displayed 1 item.
- (Q5013882) (← links)
The following pages link to Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840):
Displayed 1 item.