EEMCS

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

EEMCS EPrints Service


Editor: Rydhof Hansen, R.
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 May 29 05:16:56 CEST 2017.