Abstract State Machines, Alloy, B, TLA, VDM, and Z4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /

7 1 10 Abstract State Machines, Alloy, B, TLA, VDM, and Z4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / SpringerLink (Online service) Additional Author Schewe, Klaus-Dieter. Additional Author mixed material 9783662436523 ABZ 2014: The Landing Gear Case StudyCase Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / SpringerLink (Online service) Additional Author Schewe, Klaus-Dieter. Additional Author Wiels, Virginie. Additional Author Ait Ameur, Yamine. Additional Author mixed material 9783319075129 Transactions on Large-Scale Data- and Knowledge-Centered Systems XSpecial Issue on Database- and Expert-Systems Applications / SpringerLink (Online service) Additional Author Küng, Josef. Additional Author Wagner, Roland. Additional Author Schewe, Klaus-Dieter. Additional Author Zhou, Xiaofang. Additional Author Liddle, Stephen W. Additional Author mixed material 9783642412219 9783642412219.jpg Transactions on Large-Scale Data- and Knowledge-Centered Systems VISpecial Issue on Database- and Expert-Systems Applications / SpringerLink (Online service) Additional Author Küng, Josef. Additional Author Wagner, Roland. Additional Author Schewe, Klaus-Dieter. Additional Author Zhou, Xiaofang. Additional Author Liddle, Stephen W. Additional Author mixed material 9783642341793 9783642341793.jpg Database and Expert Systems Applications23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II / SpringerLink (Online service) Additional Author Schewe, Klaus-Dieter. Additional Author Tjoa, A Min. Additional Author Zhou, Xiaofang. Additional Author mixed material 9783642325977 9783642325977.jpg Database and Expert Systems Applications23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I / SpringerLink (Online service) Additional Author Schewe, Klaus-Dieter. Additional Author Tjoa, A Min. Additional Author Zhou, Xiaofang. Additional Author mixed material 9783642326004 9783642326004.jpg Conceptual Modelling and Its Theoretical FoundationsEssays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday / SpringerLink (Online service) Additional Author Schewe, Klaus-Dieter. Additional Author Klettke, Meike. Additional Author mixed material 9783642282799 9783642282799.jpg