Microcomputer technique.

MaRDI QIDQ1781404zbMATH OpenFDO

Authors H. Bähring

Publication date 27 June 2005

Published in Springer-Lehrbuch (Search for Journal in Brave)

Mathematics Subject Classification ID

Computer system organization (68M99)

Cited in

(7)

• scientific article; zbMATH DE number 1667893 (Why is no real title available?)
• scientific article; zbMATH DE number 3924096 (Why is no real title available?)
• scientific article; zbMATH DE number 43722 (Why is no real title available?)
• scientific article; zbMATH DE number 1237610 (Why is no real title available?)
• scientific article; zbMATH DE number 666300 (Why is no real title available?)
• The satisfiability problem for unbounded fragments of probabilistic CTL
• Finite bisimulations for dynamical systems with overlapping trajectories

This page was built for publication: Microcomputer technique.

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