Riccardo Mattolini

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2001

2 Riccardo Mattolini, Paolo Nesi: An Interval Logic for Real-Time System Specification. IEEE Trans. Software Eng. 27(3): 208-227 (2001)

1996

1 Riccardo Mattolini, Paolo Nesi: Using TILCO for Specifying Real-Time Systems. ICECCS 1996: 18-

	2001
2		Riccardo Mattolini, Paolo Nesi: An Interval Logic for Real-Time System Specification. IEEE Trans. Software Eng. 27(3): 208-227 (2001)
	1996
1		Riccardo Mattolini, Paolo Nesi: Using TILCO for Specifying Real-Time Systems. ICECCS 1996: 18-

Coauthor Index

1 Paolo Nesi [1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page