Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.

Autor: NavidPour, S., Izadi, M., Movaghar, A.
Zdroj: 2008 32nd Annual IEEE International Computer Software & Applications Conference; 2008, p211-218, 8p
Databáze: Complementary Index