Cover von An Inductive Approach for Modal Transition System Refinement opens in new tab

An Inductive Approach for Modal Transition System Refinement

Year: 2011
Media group: LIPIcs

Details

Search for this author
Year: 2011
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 106-116
Participating parties: Search for this character Alrajeh, Dalal; Kramer, Jeff; Russo, Alessandra; Uchitel, Sebastián
Media group: LIPIcs