Conditional Bisimilarity for Reactive Systems von Hülsbusch, Mathias, König, Barbara, Küpper, Sebastian, Stoltenow, Lara

Volltext

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java von Bruggink, H. J. Sander, König, Barbara, Matjeka, Marleen, Nolte, Dennis, Stoltenow, Lara

Volltext

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions von Stoltenow, Lara, König, Barbara, Schneider, Sven, Corradini, Andrea, Lambers, Leen, Orejas, Fernando

Volltext bestellen

Conditional Bisimilarity for Reactive Systems von Hülsbusch, Mathias, König, Barbara, Küpper, Sebastian, Stoltenow, Lara

Volltext

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions von Stoltenow, Lara, König, Barbara, Schneider, Sven, Corradini, Andrea, Lambers, Leen, Orejas, Fernando

Volltext