Zalan Kramer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

1 Alexander Bienemann, Zalan Kramer, Peggy Schmidt, Bernhard Thalheim: ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. Abstract State Machines 2005: 417-

	2005
1		Alexander Bienemann, Zalan Kramer, Peggy Schmidt, Bernhard Thalheim: ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. Abstract State Machines 2005: 417-

Coauthor Index

1	Alexander Bienemann (Aleksander Binemann-Zdanowicz)	[1]
2	Peggy Schmidt	[1]
3	Bernhard Thalheim	[1]