Travelled to:
1 × France
Collaborated with:
∅
Talks about:
properti (1) reactiv (1) boolean (1) analysi (1) symbol (1) static (1) bound (1) time (1)
Person: Guillaume Capron
DBLP: Capron:Guillaume
Contributed to:
Wrote 1 papers:
- SAC-2006-Capron #bound #static analysis
- Static analysis of time bounded reactive properties of Boolean symbols (GC), pp. 1827–1834.