
Course topic
Labelled Transition Systems
Also indexed asLTS · Transition Systems · State Transitions
Learn to design and analyze Labelled Transition Systems for rigorous concurrency verification.
- Courses indexed
- 2
- Live offers
- 0

Course topic
Learn to design and analyze Labelled Transition Systems for rigorous concurrency verification.


Continue exploring