A negative result on depth-first net unfoldings

Javier Esparza; Pradeep Kanade; Stefan Schwoon

doi:10.1007/s10009-007-0030-5

A negative result on depth-first net unfoldings

Javier Esparza, Pradeep Kanade, Stefan Schwoon

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

4 Zitate (Scopus)

Originalsprache	Englisch
Seiten (von - bis)	161-166
Seitenumfang	6
Fachzeitschrift	International Journal on Software Tools for Technology Transfer
Jahrgang	10
Ausgabenummer	2
DOIs	https://doi.org/10.1007/s10009-007-0030-5
Publikationsstatus	Veröffentlicht - März 2008
Extern publiziert	Ja

Zugriff auf Dokument

10.1007/s10009-007-0030-5

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@article{45990ad9de1f4babbf1584de927f7032,

title = "A negative result on depth-first net unfoldings",

author = "Javier Esparza and Pradeep Kanade and Stefan Schwoon",

note = "Funding Information: Work done while Pradeep Kanade was visiting the University of Stuttgart, partially supported by the project “Algorithms for Software Model Checking” funded by the Deutsche Forschungsgemeinschaft.",

year = "2008",

month = mar,

doi = "10.1007/s10009-007-0030-5",

language = "English",

volume = "10",

pages = "161--166",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "2",

}

TY - JOUR

T1 - A negative result on depth-first net unfoldings

AU - Esparza, Javier

AU - Kanade, Pradeep

AU - Schwoon, Stefan

N1 - Funding Information: Work done while Pradeep Kanade was visiting the University of Stuttgart, partially supported by the project “Algorithms for Software Model Checking” funded by the Deutsche Forschungsgemeinschaft.

PY - 2008/3

Y1 - 2008/3

UR - http://www.scopus.com/inward/record.url?scp=40349102416&partnerID=8YFLogxK

U2 - 10.1007/s10009-007-0030-5

DO - 10.1007/s10009-007-0030-5

M3 - Article

AN - SCOPUS:40349102416

SN - 1433-2779

VL - 10

SP - 161

EP - 166

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 2

ER -