|
Search the dblp DataBase
Wiktor B. Daszczuk:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wiktor B. Daszczuk
Evaluation of Temporal Formulas Based on "Checking by Spheres". [Citation Graph (0, 0)][DBLP] DSD, 2001, pp:158-164 [Conf]
- Wiktor B. Daszczuk, W. Grabski, J. Miescicki, Jacek Wytrebowicz
System Modeling in the COSMA Environment. [Citation Graph (0, 0)][DBLP] DSD, 2001, pp:152-157 [Conf]
- Wiktor B. Daszczuk
A Structured Semantic Design of Distributed Operating Systems. [Citation Graph (0, 0)][DBLP] Comput. J., 1991, v:34, n:6, pp:482-492 [Journal]
- Wiktor B. Daszczuk
Real Time Model Checking Using Timed Concurrent State Machines. [Citation Graph (0, 0)][DBLP] IJCSA, 2007, v:4, n:1, pp:1-12 [Journal]
Search in 0.001secs, Finished in 0.001secs
|