Searching for authors named "Guy Edward Gallasch" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Sweep-Line State Space Exploration for Coloured Petri Nets
by Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund — 2002 — Proceedings of CPN 2002, DAIMI-PB
…Sweep-Line State Space Exploration for Coloured Petri Nets ? Guy Edward Gallasch 1 , Lars…
Cited by 2 (1 self) – Add To MetaCart

Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States
by Jonathan Billington, Guy Edward Gallasch, Guy Edward, Gallasch Lars, Lars Michael Kristensen, Thomas Mailund — 2004
… States Jonathan Billington Guy Edward Gallasch Lars Michael Kristensen Thomas Mailund Abstract…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB