53

Analyzing recursive programs using a fixed-point calculus

Year:
2009
Language:
english
File:
PDF, 441 KB
english, 2009
55

Deterministic generators and games for Ltl fragments

Year:
2004
Language:
english
File:
PDF, 203 KB
english, 2004
92

Automata-based Representations for Infinite Graphs

Year:
2001
Language:
english
File:
PDF, 247 KB
english, 2001