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 |
Externí odkaz: |