Suchergebnisse - Cleaveland, Rance

Type theory and concurrency

von Cleaveland, Rance, Panangaden, Prakash 1954-

The concurrency workbench: a semantics based tool for the verification of concurrent systems

von Cleaveland, Rance, Parrow, Joachim, Steffen, Bernhard

From reactive systems to cyber-physical systems: essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

Weitere beteiligte Personen: “… Cleaveland, Rance …”
Online lesen