scientific article; zbMATH DE number 1822236

zbMATH Open1004.68110MaRDI QIDQ4780181

Alexandru Cicortaş

Publication date: 31 October 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

Petri netssoftware validation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4780181)