Journal article
CSP−based counter abstraction for systems with node identifiers
Actions
Authors
- Journal:
- Science of Computer Programming More from this journal
- Publication date:
- 2013-01-01
- UUID:
-
uuid:f304875e-0547-48d7-a3cb-c2b5302ad78d
- Local pid:
-
cs:7592
- Deposit date:
-
2015-03-31
- ARK identifier:
Terms of use
- Copyright date:
- 2013
If you are the owner of this record, you can report an update to it here: Report update to this record