Skip to main content Skip to main navigation menu Skip to site footer
IEICE Transactions on Information and Systems
  • Archives
  • About
    • About the Journal
    • Submissions
    • Privacy Statement
    • Contact
Search
  • Login
  1. Home /
  2. Archives /
  3. Vol. E91-D, No. 5 May 2008 /
  4. Papers

A Specification Translation from Behavioral Specifications to Rewrite Specifications

Authors

  • Masaki NAKAMURA
  • Weiqiang KONG
  • Kazuhiro OGATA
  • Kokichi FUTATSUGI

Downloads

  • Requires Subscription PDF

Published

2008-05-01

Issue

Vol. E91-D, No. 5 May 2008

Section

Papers

Subscription

Login to access subscriber-only resources.

Information

  • For Readers
  • For Authors
  • For Librarians

The Florida OJ service is provided through the FLVC Library Services. | FLVC Privacy Policy.

More information about the publishing system, Platform and Workflow by OJS/PKP.