| |
| 2007 | ||
|---|---|---|
| 4 | EE | Wiktor B. Daszczuk: Real Time Model Checking Using Timed Concurrent State Machines. IJCSA 4(1): 1-12 (2007) |
| 2001 | ||
| 3 | EE | Wiktor B. Daszczuk, W. Grabski, J. Miescicki, Jacek Wytrebowicz: System Modeling in the COSMA Environment. DSD 2001: 152-157 |
| 2 | EE | Wiktor B. Daszczuk: Evaluation of Temporal Formulas Based on "Checking by Spheres". DSD 2001: 158-164 |
| 1991 | ||
| 1 | Wiktor B. Daszczuk: A Structured Semantic Design of Distributed Operating Systems. Comput. J. 34(6): 482-492 (1991) | |
| 1 | W. Grabski | [3] |
| 2 | J. Miescicki | [3] |
| 3 | Jacek Wytrebowicz | [3] |