Loading…
Verification of finite-state machines: A distributed approach
Saved in:
| Published in: | Journal of logical and algebraic methods in programming 2018-04, Vol.96, p.65-80 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Citations: | Items that this one cites Items that cite this one |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | |
|---|---|
| ISSN: | 2352-2208 |
| DOI: | 10.1016/j.jlamp.2017.11.005 |