A
Menu
March 01, 2004 article

Efficient reduction of finite state model checking to reachability analysis

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-003-0121-x OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 68

1 result

References 0