Construction and SAT−based verification of Contextual Unfoldings

書目詳細資料
Main Authors: Schwoon, S, Rodríguez, C
格式: Conference item
出版: Springer 2011