Jitka Stříbrná

2002

Jitka Stříbrná and Ivana Černá:
Modifications of Expansion Trees for Weak Bisimulation in BPA,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2002. [bibtex]

2001

Jiří Barnat, Luboš Brim, and Jitka Stříbrná:
Distributed LTL Model-Checking in SPIN,
Proc. SPIN Workshop on Model Checking of Software, Springer, 2001, volume 2057 of LNCS, 200–216. [bibtex]

2000

Ivana Černá and Jitka Stříbrná:
Some Remarks on Weak Bisimilarity of BPA-Processes,
2000. [bibtex, pdf]