scientific article; zbMATH DE number 1395310

zbMATH Open0939.68663MaRDI QIDQ4935136FDOQ4935136

Authors: Shinichi Shimozono, Satoru Miyano 

Publication date: 30 January 2000

Title of this publication is not available (Why is that?)

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)