Adding fair choice to Dijkstra's calculus
Autor / Herausgeber: Broy, Manfred ; Nelson, Greg
Verlagsort: New York, NY | Verlag: Assoc. for Computing Machinery (ACM)

[Suche in der Publikation] [PDF-Download]
Suche in der Publikation
Optionen

Keine Treffer

  • Überprüfen Sie ob die Suchbegriffe richtig geschrieben sind.
  • Probieren Sie allgemeinere Suchwörter aus.
  • Verwenden Sie andere Suchbegriffe.
  • Probieren Sie eine Schreibweise mit Bindestrichen aus.