HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Gavin Lowe

Publications
Model checking Timed CSP
Philip Armstrong, Gavin Lowe, Joel Ouaknine and Bill Roscoe
In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Copyright © 2012-2023 easychair.org. All rights reserved.