Combining mobility with state

D Karkinsky; S Schneider; H Treharne

Back

Conference proceeding

Peer reviewed

Combining mobility with state

D Karkinsky, S Schneider and H Treharne

Integrated Formal Methods, Proceedings, Vol.4591, pp.373-392

6th International Conference on Integrated Formal Methods (Oxford, ENGLAND, 02/07/2007 - 05/07/2007)

01/01/2007

Abstract

Science & Technology

Technology

Computer Science

Theory & Methods

Computer Science

Files and links (1)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000247905800020&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

31 Record Views

Details

Title: Combining mobility with state
Creators: D Karkinsky
S Schneider
H Treharne
Contributors: J Davies
J Gibbons
SPRINGER-VERLAG BERLIN (Publisher)
Publication Details: Integrated Formal Methods, Proceedings, Vol.4591, pp.373-392
Conference: 6th International Conference on Integrated Formal Methods (Oxford, ENGLAND, 02/07/2007 - 05/07/2007)
Date published: 01/01/2007
Date submitted: 17/05/2017
Identifiers: 99514450402346
Academic Unit: University of Surrey
Resource Type: Conference proceeding

Combining mobility with state

Abstract

Files and links (1)

Metrics

Details

Usage Policy