Publication:4535054
From MaRDI portal
zbMath0986.68506MaRDI QIDQ4535054
Michael Benedikt, Patrice Godefroid, Thomas W. Reps
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760652
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Querying probabilistic business processes for sub-flows, A structural/temporal query language for business processes, On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams, Deterministic finite automata with recursive calls and DPDAs, Modular strategies for recursive game graphs, Nested-unit Petri nets
Uses Software