Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method

Mailund

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research

Original language	English
Title of host publication	Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2002)
Number of pages	20
Publication date	2006
Pages	314-333
Publication status	Published - 2006
Event	International Conference on Application and Theory of Petri Nets (ICATPN 2002) - Duration: 17 Dec 2010 → …

Conference	International Conference on Application and Theory of Petri Nets (ICATPN 2002)
Period	17/12/2010 → …

Cite this

@inproceedings{2fd74630a48311dbbee902004c4f4f50,

title = "Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method",

author = "Mailund",

year = "2006",

language = "English",

pages = "314--333",

booktitle = "Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2002)",

note = "International Conference on Application and Theory of Petri Nets (ICATPN 2002) ; Conference date: 17-12-2010",

}

TY - GEN

T1 - Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method

AU - Mailund, null

PY - 2006

Y1 - 2006

M3 - Article in proceedings

SP - 314

EP - 333

BT - Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2002)

T2 - International Conference on Application and Theory of Petri Nets (ICATPN 2002)

Y2 - 17 December 2010

ER -