No. Title Author Year
1 LIPIcs, Volume 15, RTA'12, Complete Volume Tiwari, Ashish 2013
2 RTA 2012 Proceedings Frontmatter Tiwari, Ashish 2012
3 Rewriting in Practice Tiwari, Ashish 2011
4 Deductive Verification of Continuous Dynamical Systems Taly, Ankur et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI