Back to result list  
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]
Search within document
Options
[Help] [New search] [new search in this document]

No Result

  • Check if keywords are spelled correctly.
  • Try more general search words.
  • Enter different search words.
  • Try spelling with hyphen.