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