Pragmatic Guide to Subversion

First Page		Document Content
Date: 2010-11-16 20:31:13 Version control Subversion Apache Software Foundation Apache Subversion Collaborative software Concurrent Versions System Branching Trunk Software bug Software Computer programming Computing		Pragmatic Guide to Subversion Add to Reading List Source URL: media.pragprog.com Download Document from Source Website File Size: 166,24 KB Share Document on Facebook

	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. DocID: 1xVy7 - View Document
	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem DocID: 1xVvj - View Document
	Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt DocID: 1xUYf - View Document
	Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b DocID: 1xUkx - View Document
	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B DocID: 1xTky - View Document