Sciweavers

655 search results - page 33 / 131
» Automata, Logic, and XML
Sort
View
EURODAC
1994
IEEE
117views VHDL» more  EURODAC 1994»
15 years 1 months ago
Logic and Fault Simulation by Cellular Automata
Yih-Lang Li, Cheng-Wen Wu
MFCS
1995
Springer
15 years 1 months ago
From Timed Automata to Logic - and Back
François Laroussinie, Kim Guldstrand Larsen...
IANDC
2008
62views more  IANDC 2008»
14 years 9 months ago
Muller message-passing automata and logics
Benedikt Bollig, Dietrich Kuske