Model checking with logic based petri nets

Category

In Series:

Ifi technical report series
(2007)

Date Created:

2007

Date Issued:

2007

PPN:

558075290

URN:

urn:nbn:de:gbv:104-ifi-07-021

Language:

English

Type of Resource:

Text

Extent:

18 S

Place Term:

Clausthal-Zellerfeld

Publisher:

Institut für Informatik

DDC subject of DNB:

004 Data processing Computer sciences