Daniel Lamch

	2011
3		Daniel Lamch, Roman Wyrzykowski: An Approach for Specification and Testing of Stateful Grid Services. PARELEC 2011: 167-172
	2006
2		Daniel Lamch, Roman Wyrzykowski: Specification, Analysis and Testing of Grid Environments Using Abstract State Machines. PARELEC 2006: 116-120
	2002
1		Daniel Lamch: Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets. PARELEC 2002: 92-94

Coauthor Index

1

Roman Wyrzykowski

[2] [3]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page