ProfessorWilliamKnottenbelt

Faculty of Engineering, Department of Computing

Professor of Applied Quantitative Analysis

Contact

+44 (0)20 7594 8331w.knottenbelt Website

Location

E363ACE ExtensionSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Davies:2002,
author = {Davies, I and Knottenbelt, WJ and Kritzinger, PS},
pages = {188--199},
publisher = {Springer-Verlag},
title = {Symbolic methods for the state space exploration of GSPN models},
year = {2002}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Davies,I
AU  - Knottenbelt,WJ
AU  - Kritzinger,PS
EP  - 199
PB  - Springer-Verlag
PY  - 2002///
SP  - 188
TI  - Symbolic methods for the state space exploration of GSPN models
ER  -

Download