Sciweavers

IANDC
2010
78views more  IANDC 2010»

An efficient simulation algorithm based on abstract interpretation

15 years 5 months ago
An efficient simulation algorithm based on abstract interpretation
Francesco Ranzato, Francesco Tapparo
Added 03 Mar 2011
Updated 03 Mar 2011
Type Journal
Year 2010
Where IANDC
Authors Francesco Ranzato, Francesco Tapparo
Comments (0)