Marcel Kyas, Jozef Hooman. Compositional Verification of Timed Components using PVS. In Bettina Biel, Matthias Book, Volker Gruhn, editors, Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig. Volume 79 of LNI, pages 143-154, GI, 2006.
@inproceedings{Kyas06,
title = {Compositional Verification of Timed Components using PVS},
author = {Marcel Kyas and Jozef Hooman},
year = {2006},
tags = {composition},
researchr = {https://researchr.org/publication/Kyas06},
cites = {0},
citedby = {0},
pages = {143-154},
booktitle = {Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig},
editor = {Bettina Biel and Matthias Book and Volker Gruhn},
volume = {79},
series = {LNI},
publisher = {GI},
isbn = {3-88579-173-0},
}