Loop summarization using state and transition invariants
Informazioni aggiuntive
Autori
Kröning D.,
Sharygina N.,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2013
Lingua
Inglese
Periodico
Formal Methods in System Design
Volume
42
Numero ( Mese )
3
Pagine (o numero dell’articolo)
221-261
