Browsing by Subject Abstract state transition systems

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
8-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22