Cover von Computation of Summaries Using Net Unfoldings opens in new tab

Computation of Summaries Using Net Unfoldings

Year: 2013
Media group: LIPIcs

Details

Search for this author
Year: 2013
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 225-236
Participating parties: Search for this character Esparza, Javier; Jezequel, Loig; Schwoon, Stefan
Media group: LIPIcs