Extending the Formal Process Description towards Consistency in Product/ion-Aware Modeling.

Lukas Kathrein, Kristof Meixner, Dietmar Winkler, Arndt Lder, Stefan Biffl

Browse the full ETFA paper archive.