Model checking temporal properties of reaction systems Journal Article

Overview

CU Boulder Authors

• Rozenberg, Grzegorz

publication date

• August 20, 2015

has restriction

• closed

Date in CU Experts

• June 3, 2015 11:41 AM

Full Author List

• Meski A; Penczek W; Rozenberg G

author count

• 3

citation count

• 25

published in

• Information Sciences  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0020-0255

Electronic International Standard Serial Number (EISSN)

• 1872-6291

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.ins.2015.03.048

Additional Document Info

start page

• 22

end page

• 42

volume

• 313