FMCAD 2009 | Sciweavers

21

FMCAD
2009
Springer

110views Formal Methods» more FMCAD 2009»

14 years 6 months ago

cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland

Alessandro Cimatti, Jori Dubrovin, Tommi A. Juntti...

claim paper

Read More »

38

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

14 years 6 months ago

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

31

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

14 years 6 months ago

Michael L. Case, Hari Mony, Jason Baumgartner, Rob...

claim paper

Read More »

28

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

14 years 6 months ago

Saqib Sohail, Fabio Somenzi

claim paper

Read More »

Sciweavers