scientific article; zbMATH DE number 1231560
From MaRDI portal
Publication:4222876
zbMath0912.68131MaRDI QIDQ4222876
No author found.
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#KS
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Handling infinitely branching well-structured transition systems, Recursive Petri nets, An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems, Well-structured transition systems everywhere!, The regular viewpoint on PA-processes
