scientific article; zbMATH DE number 1395310

MaRDI QIDQ4935136zbMATH OpenFDO

Authors Shinichi Shimozono, Satoru Miyano

Publication date 30 January 2000

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited in

(1)

• The computational complexity of avoiding spurious states in state space abstraction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4935136)