Sciweavers

IFE
2008
39views more  IFE 2008»
13 years 7 months ago
Anwendungs- und Transaktionsisolation unter Java
Jens Müller, Wilhelm G. Spruth
IFE
2008
31views more  IFE 2008»
13 years 7 months ago
An industrial application of symbolic model checking
Florian Kammüller, Sören Preibusch