Efficient reduction of finite state model checking to reachability analysis

Research output: Contribution to journal › Article › peer-review

Original language	English
Number of pages	19
Journal	International Journal on Software Tools for Technology Transfer (STTT)
Volume	5
Issue number	2-3
Publication status	Published - 2004

Fields of science

@article{e887cff86605426ca0060a4430d5b262,

title = "Efficient reduction of finite state model checking to reachability analysis",

author = "Armin Biere",

year = "2004",

language = "English",

volume = "5",

journal = "International Journal on Software Tools for Technology Transfer (STTT)",

issn = "1433-2787",

publisher = "Springer Nature",

number = "2-3",

}