Implementing LTL Model Checking with Net Unfoldings

Javier Esparza; Keijo Heljanko

Implementing LTL Model Checking with Net Unfoldings

Tutkimustuotos: Kirja/raportti › Tutkimusraportti

Alkuperäiskieli	englanti

Tila	Julkaistu - 2001
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Tieteenalat

LTL
model checking
net unfoldings
Petri nets
tableau systems

Siteeraa tätä

@book{f2f7a10d999f4845a61e987ed620f494,

title = "Implementing LTL Model Checking with Net Unfoldings",

keywords = "LTL, model checking, net unfoldings, Petri nets, tableau systems, LTL, model checking, net unfoldings, Petri nets, tableau systems, LTL, model checking, net unfoldings, Petri nets, tableau systems",

author = "Javier Esparza and Keijo Heljanko",

year = "2001",

language = "English",

}

TY - BOOK

T1 - Implementing LTL Model Checking with Net Unfoldings

AU - Esparza, Javier

AU - Heljanko, Keijo

PY - 2001

Y1 - 2001

KW - LTL

KW - model checking

KW - net unfoldings

KW - Petri nets

KW - tableau systems

KW - LTL

KW - model checking

KW - net unfoldings

KW - Petri nets

KW - tableau systems

KW - LTL

KW - model checking

KW - net unfoldings

KW - Petri nets

KW - tableau systems

M3 - Commissioned report

BT - Implementing LTL Model Checking with Net Unfoldings

ER -