Propositional Interpolation Systems for Model Checking
Informazioni aggiuntive
Autori
Rollini S. F.,
Sharygina N.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2012
Lingua
Inglese
Periodico
CoRR
Volume
abs/1212.4650
