Back to result list  
Search within document  
Adding fair choice to Dijkstra's calculus
Author / Editor: Broy, Manfred ; Nelson, Greg
Place of publication: New York, NY | Publisher: Assoc. for Computing Machinery (ACM)

[Search within document] [PDF-Download]
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10  
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10