BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
synthesi (2)
composit (2)
specif (1)
ltl (1)
automata (1)

Stem safraless$ (all stems)

3 papers:

CAVCAV-2014-BozianuDF #specification #synthesis
Safraless Synthesis for Epistemic Temporal Specifications (RB, CD, EF), pp. 441–456.
CAVCAV-2014-EsparzaK #approach #automaton #composition #ltl
From LTL to Deterministic Automata: A Safraless Compositional Approach (JE, JK), pp. 192–208.
CAVCAV-2006-KupfermanPV #composition #synthesis
Safraless Compositional Synthesis (OK, NP, MYV), pp. 31–44.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.