Publications

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm, Ch. editor. : Languages for System Specification - Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03 Kluwer Academic Publishers, Dordrecht, 4 Nov 2004

files

Combining Formal Refinement and Model Checking.pdf

Bibtex

@incollection{hniid=2055,
author = {Krupp, Alexander and Müller, Wolfgang and Oliver, I.},
title = {Combining Formal Refinement and Model Checking for Analysis of Realtime Systems},
editor = {Grimm, Ch.},
booktitle = {Languages for System Specification - Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03},
publisher = {Kluwer Academic Publishers},
address = {Dordrecht},
month = {4~} # nov,
year = {2004},
}