TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | 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
[ Konferenzveröffentlichung] , (2013)

Diese Liste wurde am Sat Mar 23 03:12:38 2019 CET generiert.