Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Labelled_transition_system> }
Showing triples 1 to 10 of
10
with 100 triples per page.
- LTS wikiPageDisambiguates Labelled_transition_system.
- Communicating_sequential_processes wikiPageWikiLink Labelled_transition_system.
- F-coalgebra wikiPageWikiLink Labelled_transition_system.
- FDR2 wikiPageWikiLink Labelled_transition_system.
- Formal_verification wikiPageWikiLink Labelled_transition_system.
- LTS wikiPageWikiLink Labelled_transition_system.
- Modal_μ-calculus wikiPageWikiLink Labelled_transition_system.
- TAPAs_model_checker wikiPageWikiLink Labelled_transition_system.
- YAWL wikiPageWikiLink Labelled_transition_system.
- Labelled_transition_system primaryTopic Labelled_transition_system.