University of Cambridge > Talks.cam > Program verification reading group. > 'Model Checking Partial State Spaces with 3-Valued Temporal Logics', Bruns & Godefroid

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

'Model Checking Partial State Spaces with 3-Valued Temporal Logics', Bruns & Godefroid

Add to your list(s) Download 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cambridge-QMUL Phi Workshop Cambridge Judge Business School

Other talks

Cambridge - Corporate Finance Theory Symposium September 2017 - Day 1 Assessing the Impact of Open IP in Emerging Technologies Simulating Neutron Star Mergers Making Refuge: Scripture and Refugee Relief Description: TIE proteins: chemical harpoons of Gram-positive bacteria Eukaryotic cell division and its origins Protein Folding, Evolution and Interactions Symposium Computing High Resolution Health(care) 'Walking through Language – Building Memory Palaces in Virtual Reality' Inferring the Evolutionary History of Cancers: Statistical Methods and Applications Lunchtime Talk: Helen's Bedroom Building cortical networks: from molecules to function
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity