gefundene Verfasser Caucal, D.

1. 1
   

   Branching bisimulation for context-free processes von Caucal, Didier, Huynh, Dung, Tian, Lu

   Veröffentlicht 1992

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in:
2. 2
   

   An elementary bisimulation decision procedure for arbitrary context free processes von Burkart, Olaf, Caucal, Didier, Steffen, Bernhard

   Veröffentlicht 1994

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: