vis and edif

From: Fabio (fabio.marcone_at_libero.it)
Date: Mon Jul 26 2004 - 06:20:54 MDT

• Next message: Roopak Sinha: "Blif-mv to Kripke?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi!
I read in a technical report that exists a front end in vis for edif. Is it
right?

Fabio Marcone

• Next message: Roopak Sinha: "Blif-mv to Kripke?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Mon Jul 26 2004 - 06:20:31 MDT