Author:
Rosa-Velardo Fernando,Delzanno Giorgio
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Abdulla, P., Delzanno, G.: On the coverability problem for constrained multiset rewriting. In: AVIS, an ETAPS workshop (2006)
2. Lecture Notes in Computer Science;P.A. Abdulla,2007
3. Lecture Notes in Computer Science;P.A. Abdulla,2009
4. Cécé, G., Finkel, A., Iyer, S.P.: Unreliable channels are easier to verify than perfect channels. Inf. Comput. 124(1), 20–31 (1996)
5. Finkel, A., McKenzie, P., Picaronny, C.: A well-structured framework for analysing petri net extensions. Inf. Comput. 195(1-2), 1–29 (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献