Good to Know about the Efficiency of State Space Methods

Mikko Tiusanen; Antti Valmari

Good to Know about the Efficiency of State Space Methods

Mikko Tiusanen
, Antti Valmari

Research output: Contribution to journal › Article › Scientific › peer-review

Translated title of the contribution	Good to Know about the Efficiency of State Space Methods
Original language	English
Pages (from-to)	53-74
Number of pages	22
Journal	Nordic Journal of Computing
Volume	15
Issue number	1
Publication status	Published - 2013
Publication type	A1 Journal article-refereed

Publication forum classification

Publication forum level 1

Access to Document

http://www.cs.helsinki.fi/njc/Contents_of_Volume15.html

Cite this

@article{973c482fbc5e4aa78ceda838fb6da373,

title = "Good to Know about the Efficiency of State Space Methods",

author = "Mikko Tiusanen and Antti Valmari",

note = "Contribution: organisation=tie,FACT1=1<br/>Portfolio EDEND: 2013-06-29<br/>Publisher name: Publishing Association Nordic Journal of Computing",

year = "2013",

language = "English",

volume = "15",

pages = "53--74",

journal = "Nordic Journal of Computing",

issn = "1236-6064",

number = "1",

}

TY - JOUR

T1 - Good to Know about the Efficiency of State Space Methods

AU - Tiusanen, Mikko

AU - Valmari, Antti

N1 - Contribution: organisation=tie,FACT1=1<br/>Portfolio EDEND: 2013-06-29<br/>Publisher name: Publishing Association Nordic Journal of Computing

PY - 2013

Y1 - 2013

M3 - Article

SN - 1236-6064

VL - 15

SP - 53

EP - 74

JO - Nordic Journal of Computing

JF - Nordic Journal of Computing

IS - 1

ER -