Re:

From: Roderick Bloem (roderick.bloem@colorado.edu)
Date: Tue Feb 13 2001 - 09:42:12 MST

Next message: Stefan Gossens: "Paper about VIS ?"

Previous message: Dinesh Bhati: "(no subject)"
In reply to: Dinesh Bhati: "(no subject)"
Next in thread: vanessa goyal: "(no subject)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Dear Dinesh,

I am not quite sure what your question means. If you are writing a
paper and you want a reference for Vis, then you can use the one
attached below. If I misunderstood your question, please let me know.

Roderick.

@INCOLLECTION { VIS96 ,
        ADDRESS = "Rutgers University" ,
        AUTHOR = "R. K. Brayton and others" ,
        BOOKTITLE = "Eighth Conference on Computer Aided Verification
(CAV'96)" ,
        EDITOR = "T. Henzinger and R. Alur" ,
        NOTE = "LNCS 1102" ,
        PAGES = "428-432" ,
        PUBLISHER = "Springer-Verlag" ,
        TITLE = "{VIS}: A system for verification and synthesis" ,
        YEAR = "1996"
        }

Dinesh Bhati wrote:
>
> hello sir
> iam dinesh from dept.. of cedt( centre for elx. design and tech.) iisc.
> bangalore(india)
> doing research in hardware verification. iam using vis for my research and
> going thru VIS website right now.
> could u please tell me the necessary books which i should refer.
> thankingyou
> dinesh

Next message: Stefan Gossens: "Paper about VIS ?"
Previous message: Dinesh Bhati: "(no subject)"
In reply to: Dinesh Bhati: "(no subject)"
Next in thread: vanessa goyal: "(no subject)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b29 : Tue Feb 13 2001 - 09:47:32 MST