scientific article; zbMATH DE number 2084337

zbMATH Open1073.68672MaRDI QIDQ3043815FDOQ3043815

Christian Blumenröhr, Viktor K. Sabelfeld, Kai Kapp

Publication date: 6 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440149.htm

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (5)

• Title not available (Why is that?)
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Dependent types and formal synthesis
• Title not available (Why is that?)
• Modeling multi-rate DSP specification semantics for formal transformational design in HOL

   Recommendations

• Perspectives of System Informatics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• System Semantics and formal circuit description 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q3043815)