ProfessorPhilippaGardner

Faculty of Engineering, Department of Computing

Professor of Theoretical Computer Science

Contact

+44 (0)20 7594 8292p.gardner Website

Location

453Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{da:2015:10.1016/j.entcs.2015.12.002,
author = {da, Rocha Pinto P and Gardner, PA and Dinsdale-Young, T},
doi = {10.1016/j.entcs.2015.12.002},
title = {Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)},
url = {http://dx.doi.org/10.1016/j.entcs.2015.12.002},
year = {2015}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - da,Rocha Pinto P
AU  - Gardner,PA
AU  - Dinsdale-Young,T
DO  - 10.1016/j.entcs.2015.12.002
PY  - 2015///
SN  - 1571-0661
TI  - Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)
UR  - http://dx.doi.org/10.1016/j.entcs.2015.12.002
UR  - http://hdl.handle.net/10044/1/23468
ER  -

Download