Article citationsMore>>

Frehse, G. (2008) PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. International Journal on Software Tools for Technology Transfer, 10, 263-279.
https://doi.org/10.1007/s10009-007-0062-x

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top