Sciweavers

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