External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis

Kai Kapp, Viktor K. Sabelfeld. Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis. In Dominik Stoffel, Wolfgang Kunz, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004. pages 204-213, Shaker, 2004.

Authors

Kai Kapp

This author has not been identified. Look up 'Kai Kapp' in Google

Viktor K. Sabelfeld

This author has not been identified. Look up 'Viktor K. Sabelfeld' in Google
runs on