vix.ing · top · new · best · stats · spec

Thomas M. Prinz

  1. Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
    2026/02/02 by Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst · 1 voice
    Computer Science · #cs.DS #cs.FL