2 Einträge gefunden

1. On plain and hereditary history-preserving bisimulation

   1. Fröschle, Sibylle B.
   2. Hildebrandt, Thomas

   1999 - TUHH Open Research
2. Decidability of plain and hereditary history-preserving bisimilarity for BPP

   1. Fröschle, Sibylle B.

   1999 - TUHH Open Research - frei zugänglich