Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
TIC:a timed calculus
Authors:
Juan Quemada David de Frutos Arturo Azcorra
Citation:
Juan Quemada et al., TIC:a timed calculus, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 224-252
Risultati:
1-1
|