|
|
|
P. Läuchli
,
E. Engeler
:
Berechnungstheorie für Informatiker
, [0914]
, <CHE>
|
|
|
Ch.H. Papadimitriou
:
Computational Complexity
, [0916]
, {16336}
, <SSW>
|
|
|
D.S. Johnson
,
M. R. Garey
:
Computers and Intractability
, A Guide to the Theory of NP-Completeness
, [0915]
, {15664}
, <SSW>
|
|
|
Edmund M. Clarke
:
Model Checking
, [1483]
, <HP>
|
|
|
G. Winskel
:
The Formal Semantics of Programming Languages
, An Introduction
, [0918]
, {16335}
, <SSW>
|
|
|
Gerard J. Holzmann
:
The Spin Model Checker
, Primer and Reference Manual
, [1492]
, <HP>
|
|
|
