Navegar

Colección

Datos Estadísticas

Lista de

Liveness
2
"Linear time analysis of properties of conflict-free and general Petri nets" (2011) Alimonti, P.; Feuerstein, E.; Laura, L.; Nanni, U. Theoretical Computer Science. 412(4-5):320-338
"Linear time analysis of properties of conflict-free and general Petri nets" (2011) Alimonti, P.; Feuerstein, E.; Laura, L.; Nanni, U. Theoretical Computer Science. 412(4-5):320-338