Implementing LTL Model Checking with Net Unfoldings

Javier Esparza; Keijo Heljanko

Implementing LTL Model Checking with Net Unfoldings

Forskningsoutput: Bok/rapport › Beställd rapport

Originalspråk	engelska

Status	Publicerad - 2001
Externt publicerad	Ja
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Vetenskapsgrenar

LTL
model checking
net unfoldings
Petri nets
tableau systems

Citera det här

@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 -