|||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 ]|
|||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.