TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 1.

Paulevé, L. ; Andrieux, G. ; Koeppl, H. :
Under-approximating cut sets for reachability in large scale automata Networks.
[Online-Edition: http://link.springer.com/chapter/10.1007%2F978-3-642-39799-8...]
In: 25th International Conference on Computer Aided Verification (CAV 2013). Springer
[Konferenz- oder Workshop-Beitrag], (2013)

Diese Liste wurde am Sat Apr 29 07:47:59 2017 CEST generiert.