Functional Extension of Symbolic Model Checking,” Computer-Aided Verification (1991)

by Thomas Filkorn
Venue:Third International Workshop