Sciweavers

15 search results - page 1 / 3
» ifm 2009
Sort
View
IFM
2009
Springer
106views Formal Methods» more  IFM 2009»
13 years 10 months ago
An Introduction to Grammar Convergence
Ralf Lämmel, Vadim Zaytsev
IFM
2009
Springer
13 years 10 months ago
Partial Order Reduction for State/Event LTL
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri...