HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Timothy Hinrichs

Publications
Model Check What You Can, Runtime Verify the Rest
Timothy L. Hinrichs, A. Prasad Sistla and Lenore D. Zuck
In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Copyright © 2012-2025 easychair.org. All rights reserved.