Rajaa
Hakutulokset: 3540521488
Rajaa
yksi hakutulos.
Automatic Verification Methods for Finite State Systems
nidottu,
1990,
englanti,
ISBN 9783540521488
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The …