Approximate symbolic model checking of continuous-time Markov chains? (extended abstract)

First Page		Document Content
Date: 2010-02-01 08:27:12 Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics Physics		Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Source URL: wwwneu.inf.tu-dresden.de Download Document from Source Website File Size: 317,92 KB Share Document on Facebook

	FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen DocID: 1xVhW - View Document
	PDF Document DocID: 1xh0Y - View Document
	PDF Document DocID: 1wGTL - View Document
	Nonlinear Analysis: Modelling and Control, 2012, Vol. 17, No. 2, 169–Duality of the alternating integral for quasi-linear differential games DocID: 1vrfp - View Document
	13 T H E I N TERNET AND THE NETWO R K N E U T R A L I T Y D E BAT E in just a few decades, the Internet has grown to become an integral part of our society, economy, and daily lives. In addition to the amazing growth in DocID: 1vqxg - View Document