1
Passive and Active Network Measurement [E-Book] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings /
Other Personal Name(s): “...Moon, Sue B....”

Full text 
Favorites
Saved in:
2
Transactions on Computational Systems Biology X [E-Book] /
Other Personal Name(s): “...Steffen, Bernhard...”

Full text 
Favorites
Saved in:
3
Molecular aspects of innate and adaptive immunity / [E-Book]
Other Personal Name(s): “...Sim, Robert B....”

Full text 
Favorites
Saved in:
4
Global Change and the Earth System [E-Book] : A Planet Under Pressure /
Other Personal Name(s): “...Steffen, Will....”

Full text 
Favorites
Saved in:
5
An elementary bisimulation decision procedure for arbitrary context free processes.
Book
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
6
Distinguishing formulas for free.
Book
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
7
Priority as extremal probability.
Book
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
8
Model checking for context free processes.
Book
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
9
Unifying strength reduction and semantic code motion.
Book
Knoop, J.
1991
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
10
The interprocedural coincidence theorem.
Book
Knoop, J.
1991
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
11
Compositional minimization of finite state systems.
Book
Graf, S.
1991
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
12
The concurrency workbench: a semantics based tool for the verification of concurrent systems.
Book
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
13
Generating data flow analysis algorithms from modal specifications.
Book
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
14
Characteristic formulae for processes with divergence.
Book
Other Personal Name(s): “...Steffen, B....”
Loan/Reservation

Favorites
Saved in:
15
Stochastic field line structures appearing in field line tracing calculations for a helical magnetic limiter on TORE SUPRA [E-Book] /
Other Personal Name(s): “...Steffen, B....”

Full text  JuSER 
Favorites
Saved in:
16
Measurement of transient magnetic fields and of eddy current time constants in TEXTOR [E-Book] /
Other Personal Name(s): “...Steffen, B....”

Full text  JuSER 
Favorites
Saved in:
17
The resonant helical magnetic limiter [E-Book] /
Other Personal Name(s): “...Steffen, B....”

Full text  JuSER 
Favorites
Saved in:
18
Die Messung transienter Magnetfelder und der Wirbelstrom-Zeitkonstanten des Textor [E-Book] /
Other Personal Name(s): “...Steffen, B....”

Full text  JuSER 
Favorites
Saved in:

Narrow Search Results