Sciweavers

15824 search results - page 320 / 3165
» Specialising in Software Engineering
Sort
View
VLSI
2007
Springer
16 years 9 days ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
ASWEC
2006
IEEE
16 years 7 days ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...