DMCA
Compositional proofs for real-time modular systems (2003)
by
Carlo Alberto Furia
| Citations: | 3 - 3 self |
BibTeX
@MISC{Furia03compositionalproofs,
author = {Carlo Alberto Furia},
title = {Compositional proofs for real-time modular systems },
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
