Checking Safety Properties on-the-fly with the Sweep-Line Method
Date
2007
Authors
Gallasch, G.E.
Billington, J.
Vanit Anunchai, S.
Kristensen, L.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
International Journal on Software Tools for Technology Transfer, 2007; 9(3-4):371-391
Statement of Responsibility
Conference Name
Abstract
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 2007 Springer-Verlag