Geoffrey Clements

Formal Veri cation of an Avionics Applicationusing Abstraction and Symbolic ModelChecking ?

W. Damm, H. Hungar, Udo Brockmeyer, 2007 .

Inducibility of the Epstein‐Barr virus (EBV) cycle and surface marker properties of ebv‐negative lymphoma lines and their in vitro EBV‐converted sublines

G. Klein, J. Zeuthen, M. Jondal, 1976, International journal of cancer.

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

Hardi Hungar, Bernhard Josko, Werner Damm, 1999 .