About this scholarly article

Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Model checking for survivability! by Cloth, L.; Haverkort, B.R. is a scholarly article available to read on EtoBox.

Author

Cloth, L.; Haverkort, B.R.

Publisher

IEEE

Published

2005

Language

EN