Search alternatives:
prescriptions many » prescriptions early, prescription map, prescriptions a
prescription maps » prescription map, prescription law, prescription a

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... systems -- The model checking problem for concurrent systems with many similar processes -- Unified...