BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
F.Lu Q.Zeng H.Zhang J.An
Talks about:
support (2) invari (2) comput (1) petri (1) minim (1) decid (1) net (1)

Person: Yunxia Bao

DBLP DBLP: Bao:Yunxia

Contributed to:

SEKE 20122012

Wrote 1 papers:

SEKE-2012-LuZZBA #decidability #invariant #petri net
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.

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.