ever9@hanmail.net

• Previous message: Paritosh Pandya: "Announcing an extension of VIS model checking to CTL with past + timing"
• Next in thread: Roderick Bloem: "Re: ever9@hanmail.net"
• Reply: Roderick Bloem: "Re: ever9@hanmail.net"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

hi, my name is taeho um
here is korea and i am korean.
i am poor to wite in english.

i want to enter at vis user mailing list.

name : taeho um
affliation : enter
email : ever9@hanmail.net
o.s : alzza linux 7.0

i am vis - 1.3 downed and set up at linux. but i don't know how to use.
please. tell me how to use?

thank you!

• Next message: Roderick Bloem: "Re: ever9@hanmail.net"
• Previous message: Paritosh Pandya: "Announcing an extension of VIS model checking to CTL with past + timing"
• Next in thread: Roderick Bloem: "Re: ever9@hanmail.net"
• Reply: Roderick Bloem: "Re: ever9@hanmail.net"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b29 : Thu Jan 04 2001 - 19:33:28 MST