Deductive Proofs of Almost Sure Persistence and Recurrence Properties Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

April 2, 2016

has restriction

closed

Date in CU Experts

June 17, 2016 10:47 AM

Full Author List

Chakarov A; Voronin Y-L; Sankaranarayanan S

Full Editor List

Chechik M; Raskin JF

author count

3

citation count

10

published in

Lecture Notes in Artificial Intelligence Journal

presented at event

22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

Electronic International Standard Serial Number (EISSN)

1611-3349

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-662-49674-9_15

International Standard Book Number (ISBN) 13

978-3-662-49673-2

Additional Document Info

start page

260

end page

279

volume

9636