28559 articles – 22057 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]