Formalisation quantitative du long terme
Subtitle: une contribution
By: Alain Charmant
Contributors: Université de Paris I: Panthéon-Sorbonne
Published: 1990
Language: fre
Notes: Thesis (doctoral)--Université de Paris I: Panthéon-Sorbonne, 1990.