Browsing by Subject Abstract state transition systems
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 2009 | Formalizacija, implementacija i primene SAT rešavača | Marić, Filip | M70 |
| 8-Nov-2011 | Formalization of abstract state transition systems for SAT | Marić, Filip ; Janičić, Predrag | M22 |