Vol-1028⫷ Vol-1029 ⫸Vol-1030
urn:nbn:de:0074-1029-0


None⫷None⫸None
Thomas S. HeinzeWolfram AmmeSimon Moser

Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving