Sharpening bounds on the time between events in maximally parallel systems

von Avrunin, George S.
Veröffentlicht 1992

Real-time state machines and circuit verification with modal functions

von Yodaiken, Victor
Veröffentlicht 1993

The structure of conflict

von Coombs, Clyde Hamilton
Veröffentlicht 1988

<<The>> structure of conflict

von Coombs, Clyde Hamilton
Veröffentlicht 1988

Using integer programming to verify general safety and liveness properties

von Corbett, James C.
Veröffentlicht 1994

˜Theœ structure of conflict

von Coombs, Clyde Hamilton
Veröffentlicht 1988

An intergrated collection of tools for continuously improving the processes by which health care is delivered: a tool report

von Osterweil, Leon J.
Veröffentlicht in Business Process Management Workshops (2010)

A Coding Framework for Usability Evaluation of Digital Health Technologies

von Ebnali, Mahdi
Veröffentlicht in International Conference on Human-Computer Interaction (24. : 2022 : Online) Human-computer interaction ; Part 1: Theoretical approaches and design methods (2022)