Ähnliche Einträge
Ähnliche Einträge
-
CSP-based counter abstraction for systems with node identifiers
von: Mazur, T, et al.
Veröffentlicht: (2014) -
Counter abstraction in the CSP/FDR setting
von: Mazur, T, et al.
Veröffentlicht: (2009) -
Counter Abstraction in the CSP/FDR setting
von: Mazur, T, et al.
Veröffentlicht: (2007) -
Formal verification of not fully symmetric systems using counter abstraction
von: Mazur, T
Veröffentlicht: (2008) -
Extending CSP with tests for availability
von: Lowe, G
Veröffentlicht: (2009)