Daniel Lamch

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Daniel Lamch, Roman Wyrzykowski
An Approach for Specification and Testing of Stateful Grid Services. PARELEC (2011)
Daniel Lamch, Roman Wyrzykowski
Specification, Analysis and Testing of Grid Environments Using Abstract State Machines. PARELEC (2006)
Daniel Lamch
Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets. PARELEC (2002)