Wiktor B. Daszczuk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

4 Wiktor B. Daszczuk: Real Time Model Checking Using Timed Concurrent State Machines. IJCSA 4(1): 1-12 (2007)

2001

3 Wiktor B. Daszczuk, W. Grabski, J. Miescicki, Jacek Wytrebowicz: System Modeling in the COSMA Environment. DSD 2001: 152-157

2 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)

	2007
4		Wiktor B. Daszczuk: Real Time Model Checking Using Timed Concurrent State Machines. IJCSA 4(1): 1-12 (2007)
	2001
3		Wiktor B. Daszczuk, W. Grabski, J. Miescicki, Jacek Wytrebowicz: System Modeling in the COSMA Environment. DSD 2001: 152-157
2		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)

Coauthor Index

1 W. Grabski [3]

2 J. Miescicki [3]

3 Jacek Wytrebowicz [3]