Stem pep$ (all stems)

5 papers:

TACAS-2002-Stehno #design #realtime

Real-Time Systems Design with PEP (CS), pp. 476–480.

TACAS-1997-Grahlmann #component

The Reference Component of PEP (BG), pp. 65–80.

CAV-1997-Grahlmann

The PEP Tool (BG), pp. 440–443.

TACAS-1996-GrahlmannB #named #petri net

PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.

SLP-1987-WestphalRCS87 #backtracking

The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism (HW, PR, JCdK, JCS), pp. 436–448.