Bridging the Gap Between Model-Based Development and Model Checking

Sorry, there's nothing here.

Cite this paper

@inproceedings{Miller2009BridgingTG, title={Bridging the Gap Between Model-Based Development and Model Checking}, author={Steven P. Miller}, booktitle={TACAS}, year={2009} }