Juan Quemada, David de Frutos-Escrig, Arturo Azcorra. TIC: A TImed Calculus. Formal Asp. Comput., 5(3):224-252, 1993.
@article{QuemadaFA93,
title = {TIC: A TImed Calculus},
author = {Juan Quemada and David de Frutos-Escrig and Arturo Azcorra},
year = {1993},
researchr = {https://researchr.org/publication/QuemadaFA93},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {5},
number = {3},
pages = {224-252},
}