Sciweavers

105

Voted

FMCAD
2007
Springer

90views Formal Methods» more FMCAD 2007»

Automatic Abstraction in Symbolic Trajectory Evaluation

15 years 11 months ago

Automatic Abstraction in Symbolic Trajectory Evaluation

Download www.sara-adams.de

Sara Adams, Magnus Björk, Thomas F. Melham, C...

claim paper

Read More »