VIVO

- Select a language

Index
Log in

Search form

Home
People
Organizations
Research
Events
Capability Map

Verifying CTL with Unfoldings of Petri Nets Chapter

Overview
Identity
View All

Overview

publication date

2018

Identity

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-030-05063-4_5

Powered by VIVO

About
Support