Sciweavers

Share
12 search results - page 1 / 3
» eurocast 2009
Sort
View
EUROCAST
2009
Springer
143views Hardware» more  EUROCAST 2009»
10 years 9 months ago
Effective Bit-Width and Under-Approximation
Robert Brummayer, Armin Biere
EUROCAST
2009
Springer
134views Hardware» more  EUROCAST 2009»
10 years 9 months ago
Debugging and Verification of Multi-Agent Systems
Clara Benac Earle, Lars-Åke Fredlund
books