New Orbit Algorithms for Data Symmetries

Tommi Junttila

New Orbit Algorithms for Data Symmetries

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

2 Citations (Scopus)

Original language	English
Title of host publication	Application of Concurrency to System Design 2004, Hamilton, Canada, June 2004
Publisher	IEEE
Pages	175-184
Publication status	Published - 2004
MoE publication type	A4 Conference publication

Keywords

Murphi
Petri nets
state space analysis
symmetry

Cite this

@inproceedings{17098de82d4448218095de7ef9a6db24,

title = "New Orbit Algorithms for Data Symmetries",

keywords = "Murphi, Petri nets, state space analysis, symmetry, Murphi, Petri nets, state space analysis, symmetry, Murphi, Petri nets, state space analysis, symmetry",

author = "Tommi Junttila",

year = "2004",

language = "English",

pages = "175--184",

booktitle = "Application of Concurrency to System Design 2004, Hamilton, Canada, June 2004",

publisher = "IEEE",

address = "United States",

}

TY - GEN

T1 - New Orbit Algorithms for Data Symmetries

AU - Junttila, Tommi

PY - 2004

Y1 - 2004

KW - Murphi

KW - Petri nets

KW - state space analysis

KW - symmetry

KW - Murphi

KW - Petri nets

KW - state space analysis

KW - symmetry

KW - Murphi

KW - Petri nets

KW - state space analysis

KW - symmetry

M3 - Conference article in proceedings

SP - 175

EP - 184

BT - Application of Concurrency to System Design 2004, Hamilton, Canada, June 2004

PB - IEEE

ER -