Author:
Avellaneda Florent,Dal Zilio Silvano,Raclet Jean-Baptiste
Publisher
Springer International Publishing
Reference24 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2010
2. Avellaneda, F., Dal Zilio, S., Raclet, J.: On the complexity of flanked finite state automata. CoRR abs/1509.06501 (2015)
3. Bauer, S.S., Fahrenberg, U., Juhl, L., Larsen, K.G., Legay, A., Thrane, C.R.: Weighted modal transition systems. Formal Methods Syst. Des. 42(2), 193–220 (2013)
4. Lecture Notes in Computer Science;SS Bauer,2012
5. Lecture Notes in Computer Science;N Beneš,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Language Equation Solving via Boolean Automata Manipulation;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30