34410 articles – 26938 Notices  [english version]
.:. Consultation > Par auteur > Aminof .:.
1 document

fulltext access Pushdown Module Checking with Imperfect Information
Aminof B., Legay A., Murano A., Serre O., Vardi M.
(2010) [hal-00479839 - version 2]