Sciweavers

35 search results - page 1 / 7
» eurocast 2007
Sort
View
84
Voted
EUROCAST
2007
Springer
159views Hardware» more  EUROCAST 2007»
15 years 8 months ago
Compressing Propositional Proofs by Common Subproof Extraction
Carsten Sinz
EUROCAST
2007
Springer
95views Hardware» more  EUROCAST 2007»
15 years 8 months ago
Variations on Neighborhoods in CA
Thomas Worsch, Hidenosuke Nishio
EUROCAST
2007
Springer
93views Hardware» more  EUROCAST 2007»
15 years 8 months ago
"Chameleon" Software Defined Control Platform
Adam Handzlik, Andrzej Jablonski