Skip to content Skip to footer

Waiting for locks: How long does it usually take?

Activity: Talk or presentation at external institutions/eventsTalk/PresentationContributed

Date

27 Aug 201228 Aug 2012

Description


Workshop

Title17th International Workshop on Formal Methods for Industrial Critical Systems
Abbreviated titleFMICS 2012
Conference number
Duration27 - 28 August 2012
Degree of recognitionInternational event
Location
CityParis
CountryFrance

Related content

Waiting for locks: How long does it usually take?

Baier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S. & Märcker, S. & 2 others, Tews, H. & Völp, M., 2012, Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. Stoelinga, M. & Pinger, R. (eds.). Springer, Berlin [u. a.], p. 47-62 16 p. (Lecture Notes in Computer Science, Volume 7437).

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review