BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
Collaborated with:
J.Li G.Pu L.Zhang J.He
Talks about:
satisfi (1) infinit (1) checker (1) trace (1) finit (1) aalta (1) ltl (1)

Person: Yinbo Yao

DBLP DBLP: Yao:Yinbo

Contributed to:

FSE 20142014

Wrote 1 papers:

FSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability
Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.

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.