Login
|
New Account
ITA
ENG
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
Journal title
Formal aspects of computing The international journal of formal methods
→
ACNP
ISSN journal
09345043
Volume
5
Issue
3
Year of publication
1993
Pages
224 - 252
Database
ACNP
SICI code