Zsigmond Pap

	2004
3		Zsigmond Pap, Dániel Varró: Static Safety Analysis of UML Action Semantics for Critical Systems Development. GI Jahrestagung (1) 2004: 57-61
	2002
2		György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró: VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE 2002: 267-270
	2001
1		Zsigmond Pap, István Majzik, András Pataricza: Checking General Safety Criteria on UML Statecharts. SAFECOMP 2001: 46-55

Coauthor Index

1	György Csertán	[2]
2	Gábor Huszerl	[2]
3	István Majzik	[1] [2]
4	András Pataricza	[1] [2]
5	Dániel Varró	[2] [3]