No. Title Author Year
1 On Petri Nets with Hierarchical Special Arcs Akshay, S. et al. 2017
2 Towards an Efficient Tree Automata Based Technique for Timed Systems Akshay, S. et al. 2017
3 Analyzing Timed Systems Using Tree Automata Akshay, S. et al. 2016
4 Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers Lal, Akash et al. 2016
5 LIPICs, Volume 65, FSTTCS'16, Complete Volume Lal, Akash et al. 2016
6 On Regularity of Unary Probabilistic Automata Akshay, S. et al. 2016
7 Stochastic Timed Games Revisited Akshay, S. et al. 2016
8 Implementing Realistic Asynchronous Automata Akshay, S. et al. 2013
9 Model checking time-constrained scenario-based specifications Akshay, S. et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint Published by LZI