Olivier Coudert, Jean Christophe Madre. The Implicit Set Paradigm: A New Approach to Finite State System Verification. Formal Methods in System Design, 6(2):133-145, 1995.
@article{CoudertM95:0,
title = {The Implicit Set Paradigm: A New Approach to Finite State System Verification},
author = {Olivier Coudert and Jean Christophe Madre},
year = {1995},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/CoudertM95%3A0},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {6},
number = {2},
pages = {133-145},
}