Axel Legay 13 Bis rue des Quatre ChênesBruz (France) Phone : http: people.irisa.fr Axel.Legay - Vidyalankar Institute of Technology - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-10-31 16:18:25 Model checking Uppaal Model Checker Conference on Implementation and Application of Automata		Axel Legay 13 Bis rue des Quatre ChênesBruz (France) Phone : +http://people.irisa.fr/Axel.Legay/ Add to Reading List Source URL: people.irisa.fr Download Document from Source Website File Size: 195,56 KB Share Document on Facebook

	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Two-dimensional Pattern Matching Using Automata Approach by DocID: XZKh - View Document
	In Proc. of the Eleventh International Conference on Implementation and Application of Automata (CIAA), Lecture Notes in Computer Science, c Springer Verlag, 2006. Tiburon: A Weighted Tree Automata Toolkit Jonathan May a DocID: GHCx - View Document
	Curriculum Vitae Tevfik Bultan August 19, 2013 Department of Computer Science University of California Santa Barbara, CA 93106 DocID: 5i8e - View Document