Vacuity detection in temporal model checking

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Journal ID (publisher-id): 10009

Title: International Journal on Software Tools for Technology Transfer (STTT)

Abbreviated Title: International Journal on Software Tools for Technology Transfer (STTT)

Publisher: Springer Nature

ISSN (Print): 1433-2779

ISSN (Electronic): 1433-2787

Publication date Created: February 1 2003

Publication date (Print): February 1 2003

Volume: 4

Issue: 2

Pages: 224-233

Article

DOI: 10.1007/s100090100062

SO-VID: bae6f244-d9ad-4fa8-a456-0e889eb86a20

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.