Contents Foreword xiii Preface

First Page		Document Content
Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics		Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Download Document from Source Website File Size: 87,64 KB Share Document on Facebook

	PDF Document DocID: 1oy3d - View Document
	On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New Appl DocID: 1aQJB - View Document
	BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes DocID: 1aDGS - View Document
	Contents Foreword xiii Preface DocID: 18YB4 - View Document
	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a DocID: 17Rns - View Document