Bibframe Work

Title

Advances in verification of time petri nets and timed automata

Type

Text

Contribution

Subject

Could not render: bf:code

Language

Illustrative Content

Classification

LCC: QA267 .P45 2006 (Assigner: dlc)

DDC: 511/.3/5 full (Assigner: dlc)

Supplementary Content

Content

Authorized Access Point

Penczek, Wojciech Advances in verification of time petri nets and timed automata

Admin Metadata

Generation Process: DLC marc2bibframe2 v1.7.0

Status: changed

Encoding Level: minimal

Description Conventions:

Identified By: bf:Local, 14334637 bf:Local, 978719395

Change Date: 2008-10-15T07:43:57

Creation Date: 2006-04-10

Description Modifier:

Description Authentication: lccopycat

Non-rendered Predicates: lclocal:d906 lclocal:d925 lclocal:d955 lclocal:d955 bf:assigner