Sebastian Kloepfel Krings - Veröffentlichungen allgemein

(1 - 6 von 6

)

Inferring Physical Units in B Models | SpringerLink

link.springer.com

Sebastian Krings; Michael Leuschel. Sebastian Krings. 1. Michael Leuschel Institut für InformatikUniversität DüsseldorfDüsseldorfGermany. Conference ...

Rodin Platform 3.1 Release Notes - Event-B

wiki.event-b.org

Camille, 3.1.x, available28th January 2015, Sebastian Krings, Use the Camille update site http://www.stups.uni-duesseldorf.de/camille_updates

Jetzt bei Transportpreisen auf die Bremse treten! | Kloepfel Magazin

www.kloepfel-magazin.com

Logistik-Experte Krings: „Spediteure können sich Kunden aussuchen“ ... Kunden sie bedienen“, bestätigt Sebastian Krings, Partner in der Kloepfel Group.