Vacuity detection in temporal model checking

Authors:

Publisher website

1 February 2003

journal article
Published by Springer Nature in International Journal on Software Tools for Technology Transfer

Vol. 4 (2) , 224-233
DOI:10.1007/s100090100062

Abstract

No abstract available

Keywords

Cited by 166 articles