Sciweavers

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