Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai
TILCO Temporal Logic for Real-Time Systems Implementation in C++
SEKE, 2003.
@inproceedings{SEKE-2003-BelliniGNR,
author = "Pierfrancesco Bellini and Andrea Giotti and Paolo Nesi and Davide Rogai",
booktitle = "{Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering}",
pages = "166--173",
title = "{TILCO Temporal Logic for Real-Time Systems Implementation in C++}",
year = 2003,
}