Select author: all Bodirsky, ManuelBotlan, DidierBrown, ChadBrunklaus, ThorstenDebusmann, RalphDoczkal, ChristianDuchier, DenysErk, KatrinHenz, MartinKaminski, MarkKornstaedt, LeifKuhlmann, MarcoMehl, MichaelMöhl, MathiasMüller, MartinMüller, TobiasNiehren, JoachimPriesnitz, TimRossberg, AndreasScheidhauer, RalfSchulte, ChristianSchwinghammer, JanSmolka, GertStraßburger, LutzTack, GuidoTreinen, RalfWalser, JoachimWürtz, Jörg
Constraint Deduction in an Interval-based Temporal Logic (pdf) Jana Koehler, Ralf Treinen Executable Modal and Temporal Logics
Login to edit
