Technical Report 2006/10: Compositional state space reduction using untangled actions.  In Preliminary Proceedings of 13th International Workshop on  Expressiveness in Concurrency (EXPRESS'06)

Xu Wang; Marta Kwiatkowska

Technical Report 2006/10: Compositional state space reduction using untangled actions. In Preliminary Proceedings of 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06)

Xu Wang, Marta Kwiatkowska

Computer Science

Research output: Working paper/Preprint › Working paper

Original language	English
Publication status	Published - 1 Jan 2006

Cite this

@techreport{611317cda7984e23b33916cb6ea76ebc,

title = "Technical Report 2006/10: Compositional state space reduction using untangled actions. In Preliminary Proceedings of 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06)",

author = "Xu Wang and Marta Kwiatkowska",

year = "2006",

month = jan,

day = "1",

language = "English",

type = "WorkingPaper",

}