EEMCS

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

EEMCS EPrints Service


Editor: Ölveczky, P.C.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2016

Gomes, P. and Gurov, D. and Huisman, M. (2016) Specification and Verification of Synchronization with Condition Variables. In: Proceedings of the Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), November 14, 2016, Tokyo, Japan. pp. 3-19. Communications in Computer and Information Science 694. Springer Verlag. ISSN 1865-0929 ISBN 978-3-319-53946-1

This list was generated on Sun Apr 23 22:14:47 CEST 2017.