Author Search Results

Select result number 1
1

On Expressiveness and Complexity in Real-time Model Checking

by Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Worrell, James
Published 2008
Contributors: “...Laboratoire Spécification et Vérification Cachan (LSV)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Laboratoire Spécification et Vérification Cachan (LSV)...”

Get access
Get access

Conference Object
Select result number 3
3

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Laboratoire Spécification et Vérification Cachan (LSV)...”

Get access
Get access

Conference Object
Select result number 4
4

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Laboratoire Spécification et Vérification Cachan (LSV)...”

Get access
Get access

Conference Object
Select result number 5
5

Perfect Half-Space Games

by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, Sylvain
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Laboratoire Spécification et Vérification Cachan (LSV)...”

Get access
Get access

Conference Object