Improved Question-Guided Stubborn Set Methods for State Properties

L.M. Kristensen; E. Valmari

Improved Question-Guided Stubborn Set Methods for State Properties

L.M. Kristensen
, E. Valmari

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

13 Citations (Scopus)

Translated title of the contribution	Improved Question-Guided Stubborn Set Methods for State Properties
Original language	English
Title of host publication	Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 2000, Proceedings, Lecture Notes in Computer Science
Editors	M. Nielsen, D. Simpson
Pages	282-302
Publication status	Published - 2000
Publication type	A4 Article in conference proceedings

Publication forum classification

Publication forum level 1

Cite this

@inproceedings{584c0842adba4ba7aac4fbfb0800bc64,

title = "Improved Question-Guided Stubborn Set Methods for State Properties",

author = "L.M. Kristensen and E. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2000",

language = "English",

pages = "282--302",

editor = "M. Nielsen and D. Simpson",

booktitle = "Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 2000, Proceedings, Lecture Notes in Computer Science",

}

Improved Question-Guided Stubborn Set Methods for State Properties. / Kristensen, L.M.; Valmari, E.
Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 2000, Proceedings, Lecture Notes in Computer Science. ed. / M. Nielsen; D. Simpson. 2000. p. 282-302.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Improved Question-Guided Stubborn Set Methods for State Properties

AU - Kristensen, L.M.

AU - Valmari, E.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 282

EP - 302

BT - Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 2000, Proceedings, Lecture Notes in Computer Science

A2 - Nielsen, M.

A2 - Simpson, D.

ER -