Submitted publications

[1] Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, and Min Zhang. SMT-based generation of symbolic automata. Acta Informatica, 2019. Under review. [ bib ]
[2] Eduard Baranov and Simon Bliudze. Expressiveness of component-based frameworks: A study of the expressiveness of BIP. Acta Informatica, 2019. Under review. [ bib ]

This file was generated by bibtex2html 1.96.