Martin Schwarick

	2009
4		Martin Schwarick, Monika Heiner: CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. CMSB 2009: 296-312
3		Monika Heiner, Martin Schwarick, Alexej Tovchigrechko: DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets 2009: 323-332
	2008
2		Martin Schwarick: Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams. AWPN 2008: 43-48
1		Monika Heiner, Ronny Richter, Martin Schwarick: Snoopy: a tool to design and animate/simulate graph-based formalisms. SimuTools 2008: 15

Coauthor Index

1	Monika Heiner	[1] [3] [4]
2	Ronny Richter	[1]
3	Alexej Tovchigrechko	[3]