Search results for: P. Gastin
Fundamenta Informaticae > 2007 > Vol. 80, nr 1-3 > 169-197
Fundamenta Informaticae > 1998 > Vol. 36, nr 2,3 > 145-182
Information and Computation > 1995 > 116 > 1 > 134-153
Fundamenta Informaticae > 2007 > Vol. 80, nr 1-3 > 169-197
Fundamenta Informaticae > 1998 > Vol. 36, nr 2,3 > 145-182
Information and Computation > 1995 > 116 > 1 > 134-153