I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Automatic compositional minimization in CTL model checking:

, In: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design,
Chiodo, Massimiliano ; Shiple, Thomas R. ; Sangiovanni-Vincentelli, Alberto L.. - p. 172-178 , 1992
Link: https://dl.acm.org/doi/10.5555/304032.304080