Fork me on GitHub
Math for the people, by the people.

User login

labelled state transition system

Defines: 
state transition system, reachability, reachable, inaccessible state
Synonym: 
labeled state transition system, TS, LTS, STS, LSTS
Type of Math Object: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

03B45 no label found68Q85 no label found68Q10 no label found

Subscribe to Comments for "labelled state transition system"