Вы здесь

Главная

ltl

Связанные издания:

Check It Out: On the Efficient Formal Verification of Live Sequence Charts
Larger Automata and Less Work for LTL Model Checking
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Tools and Algorithms for the Construction and Analysis of Systems: Proc./19th International Conference, ETAPS 2013 Held as Part of the ETAPS 2013, Rome, Italy, March 2013