![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
University of Cambridge > Talks.cam > Program verification reading group. > 'Model Checking Partial State Spaces with 3-Valued Temporal Logics', Bruns & Godefroid
'Model Checking Partial State Spaces with 3-Valued Temporal Logics', Bruns & GodefroidDownload to your calendar using vCal
If you have a question about this talk, please contact Mike Dodds . http://dx.doi.org/10.1007/3-540-48683-6_25 This talk is part of the Program verification reading group. series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsCPES Webinar & LT2, Computer Laboratory, William Gates Building. British Antarctic Survey, Seminar Room 307Other talksLaser tomography for wide area gas emission spatio-temporal reconstruction Title to be confirmed Quantum graphs with a time asymmetry: spectral optimization and spectral statistics Group Presentation 2 Morning Break Online Causal Inference Seminar |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Wednesday 18 November 2009, 11:00-12:30
