scientific article

From MaRDI portal

Publication:3782740

Jump to:navigation, search

zbMath0641.68016MaRDI QIDQ3782740

Michel Diaz

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verification design testing information systems implementation specification Petri net based models

Mathematics Subject Classification ID

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3782740&oldid=17336442"