Toggle Main Menu Toggle Search

Open Access padlockePrints

Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

Lookup NU author(s): Professor Alex Yakovlev



This is the final published version of an article that has been published in its final definitive form by IEICE, 1997.

For re-use rights please refer to the publisher's terms and conditions.

Publication metadata

Author(s): Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A

Publication type: Article

Publication status: Published

Journal: IEICE Transactions on Information and Systems

Year: 1997

Volume: E80-D

Issue: 3

Pages: 315-325

Print publication date: 01/03/1997

Online publication date: 28/03/1997

Date deposited: 30/04/2016

ISSN (print): 0916-8532

Publisher: IEICE