Proving Correctness of Timed Concurrent Constraint Programs

Conference Paper

Publication Date:

2002

Iris type:

4.1 Contributo in Atti di convegno

List of contributors:

De Boer, Frank; Gabbrielli, Maurizio; Meo, MARIA CHIARA

Authors of the University:

MEO MARIA CHIARA

Handle:

https://ricerca.unich.it/handle/11564/234599

Book title:

Foundations of Software Science and Computation Structures, 5th International Conference

Published in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series

Overview

URL

http://dblp.uni-trier.de/rec/bib/conf/fossacs/BoerGM02