1
Characteristic formulae for processes with divergence.
Book
Loan/Reservation

Favorites
Saved in:
2
Compositional minimization of finite state systems.
Book
Graf, S.
1991
Loan/Reservation

Favorites
Saved in:
3
The concurrency workbench: a semantics based tool for the verification of concurrent systems.
Book
Loan/Reservation

Favorites
Saved in:
4
Distinguishing formulas for free.
Book
Loan/Reservation

Favorites
Saved in:
5
An elementary bisimulation decision procedure for arbitrary context free processes.
Book
Loan/Reservation

Favorites
Saved in:
6
Generating data flow analysis algorithms from modal specifications.
Book
Loan/Reservation

Favorites
Saved in:
7
The interprocedural coincidence theorem.
Book
Knoop, J.
1991
Loan/Reservation

Favorites
Saved in:
8
Measurement of transient magnetic fields and of eddy current time constants in TEXTOR [E-Book] /

Full text  JuSER 
Favorites
Saved in:
9
Die Messung transienter Magnetfelder und der Wirbelstrom-Zeitkonstanten des Textor [E-Book] /

Full text  JuSER 
Favorites
Saved in:
10
Model checking for context free processes.
Book
Loan/Reservation

Favorites
Saved in:
11
Priority as extremal probability.
Book
Loan/Reservation

Favorites
Saved in:
12
The resonant helical magnetic limiter [E-Book] /

Full text  JuSER 
Favorites
Saved in:
13
Stochastic field line structures appearing in field line tracing calculations for a helical magnetic limiter on TORE SUPRA [E-Book] /

Full text  JuSER 
Favorites
Saved in:
14
Unifying strength reduction and semantic code motion.
Book
Knoop, J.
1991
Loan/Reservation

Favorites
Saved in:

Narrow Search Results