Structural unit - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2004-06-12 08:42:50 Polymer Telechelic polymer Step-growth polymerization Chain growth polymerisation Cross-link Poly Structural unit Macromolecule Branching Chemistry Materials science Polymer chemistry		Add to Reading List Source URL: media.iupac.org Download Document from Source Website File Size: 194,62 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