Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants (1996)

Cached

Download Links

by Carlos Eduardo Giménez , Suprieure De Lyon , Spcialit Informatique , Par Carlos Eduardo Gimnez , De Systemes Communicants , Roberto Amadio , Roberto Amadio , Luc Boug , Thierry Coquand , Thierry Coquand , Michel Cosnard (president , Gilles Kahn
Citations:16 - 0 self

Document Versions

Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants –Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn — 1996