Sign in
Beyond the Finite: New Challenges in Verification and Semistructured Data
2008
2008
2008
Keyphrases
Publications
2008
Anca Muscholl
,
Ramaswamy Ramanujam
,
Michaël Rusinowitch
,
Thomas Schwentick
,
Victor Vianu
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Beyond the Finite: New Challenges in Verification and Semistructured Data
(2008)
Parosh Aziz Abdulla
,
Ahmed Bouajjani
,
Jonathan Cederberg
,
Frédéric Haziza
,
Ran Ji
,
Ahmed Rezine
Shape Analysis via Monotonic Abstraction.
Beyond the Finite: New Challenges in Verification and Semistructured Data
(2008)
Anca Muscholl
,
Ramaswamy Ramanujam
,
Michaël Rusinowitch
,
Thomas Schwentick
,
Victor Vianu
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Beyond the Finite: New Challenges in Verification and Semistructured Data
(2008)
volume 8171, 2008
Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008
Beyond the Finite: New Challenges in Verification and Semistructured Data
8171 (2008)