1
High-level parallel programming and the efficient implementation of numerical algorithms /
Book
2
Model checking for context free processes.
Book
Subject (ZB): ...algorithm theory...
3
Generating data flow analysis algorithms from modal specifications.
Book
4
Automatische Komplexitätsanalyse funktionaler Programme.
Book
Subject (ZB): ...computer algorithm...
5
The smov strategy.
Book
Subject (ZB): ...computer algorithm...