Imperial College London
Alternate

Professor Jeff Magee

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8601j.magee Website

 
 
//

Assistant

 

Mrs Clare Pearson +44 (0)20 7594 8601

 
//

Location

 

2.06Faculty BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Lang:2010:10.1007/s00165-009-0133-8,
author = {Lang, F and Salauen, G and Herilier, R and Kramer, J and Magee, J},
doi = {10.1007/s00165-009-0133-8},
journal = {FORMAL ASPECTS OF COMPUTING},
pages = {681--711},
title = {Translating FSP into LOTOS and networks of automata},
url = {http://dx.doi.org/10.1007/s00165-009-0133-8},
volume = {22},
year = {2010}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Lang,F
AU  - Salauen,G
AU  - Herilier,R
AU  - Kramer,J
AU  - Magee,J
DO  - 10.1007/s00165-009-0133-8
EP  - 711
PY  - 2010///
SN  - 0934-5043
SP  - 681
TI  - Translating FSP into LOTOS and networks of automata
T2  - FORMAL ASPECTS OF COMPUTING
UR  - http://dx.doi.org/10.1007/s00165-009-0133-8
UR  - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000285298800003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb
VL  - 22
ER  -
Download