Conference Papers
Year : 2010
Sophie Pinchinat : Connect in order to contact the contributor
https://inria.hal.science/inria-00555751
Submitted on : Friday, January 14, 2011-1:14:43 PM
Last modification on : Friday, March 24, 2023-2:52:54 PM
Dates and versions
Identifiers
- HAL Id : inria-00555751 , version 1
Cite
Laura Bozzelli, Axel Legay, Sophie Pinchinat. Hardness of Preorder Checking for Basic Formalisms. LPAR, Apr 2010, Dakar, Senegal. pp.119-135. ⟨inria-00555751⟩
Collections
215
View
0
Download