Model checking for context free processes.

Saved in:
Burkart, O.
Steffen, B.
Aachen : Technische Hochschule Aachen, 1992.
22 S.
englisch
Aachener Informatik-Berichte ; Vol 92-0006.
model checking algorithm

JSC
Institute Call Number: S 006513-92-0006'01' Barcode: 1092102393 Available