1 model-checking positions at University of Klagenfurt

Sort by

Refine Your Search

  • consumption acts. Differing from the standard production and consumption models, these acts convert sets of resources into individual utility and profit but also affect other elements of the universal resource

Enter an email to receive alerts for model-checking positions