EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Hankin, C.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2015

Probst, C.W. and Kammüller, F. and Rydhof Hansen, R. (2015) Formal Modelling and Analysis of Socio-Technical Systems. In: Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science 9560. Springer Verlag, Berlin, pp. 54-73. ISSN 0302-9743 ISBN 978-3-319-27809-4

This list was generated on Mon Apr 24 01:09:55 CEST 2017.