Knowledge and strategic ability for model checking: a refined approach

Category

In Series:

Ifi technical report series
(2007)

Date Created:

2007

Date Issued:

2007

PPN:

558921043

URN:

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

Language:

English

Type of Resource:

Text

Extent:

21 S

Place Term:

Clausthal-Zellerfeld

Publisher:

Institut für Informatik

DDC subject of DNB:

004 Data processing Computer sciences

URL:

https://dokumente.ub.tu-clausthal.de/receive/import_mods_00000465