Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann. A dual-engine for early analysis of critical systems. In Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff, Jörg Schneider, editors, Informatik 2011: Informatik schafft Communities, Beiträge der 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 4.-7.10.2011, Berlin (Abstract Proceedings). Volume 192 of LNI, pages 352, GI, 2011. [doi]
No reviews for this publication, yet.