Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Andre Platzer', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

    A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems ανά Andre Platzer

    Έκδοση 2012-11-01
    Λήψη πλήρους κειμένου
    Άρθρο
  2. 2
    The Structure of Differential Invariants and Differential Cut Elimination

    The Structure of Differential Invariants and Differential Cut Elimination ανά Andre Platzer

    Έκδοση 2012-11-01
    Λήψη πλήρους κειμένου
    Άρθρο

Εργαλεία αναζήτησης: