Author:
Abdulla Parosh Aziz,Deneux Johann,Mahata Pritha,Nylén Aletta
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Ideal Theory for WSTS;Lecture Notes in Computer Science;2016
2. Dynamic Networks of Timed Petri Nets;Application and Theory of Petri Nets and Concurrency;2014
3. The Theory of WSTS: The Case of Complete WSTS;Lecture Notes in Computer Science;2012
4. Verification of Timed-Arc Petri Nets;SOFSEM 2011: Theory and Practice of Computer Science;2011
5. Forward Analysis for WSTS, Part II: Complete WSTS;Automata, Languages and Programming;2009