[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

license

To: pvs-help@csl.sri.com
Subject: license
From: marce@csd.cs.technion.ac.il (Marcelo Glusman)
Date: Mon, 28 Sep 1998 12:17:22 +0200 (IST)

Hi,

I have a paperwork question:
My faculty has a license for the use of PVS for research purposes.
I just installed the linux version at home in order to do the same research.
Should I also register? (fill a license, get any signatures, - whose? )
Thanks,

((                                                     ))
((  MARCELO GLUSMAN - Computer Science M.Sc. student.  ))
((             --  Technion, IIT. Haifa, Israel.  --   ))
((  e-mail: marce@cs.technion.ac.il                    ))
((  Fishbach Room 303 phone: 829-4620                  ))
((                                                     ))

Prev by Date: Re: Question: LINUX installation & Type Check
Next by Date: Re: beginner's problem
Prev by thread: Re: beginner's problem
Next by thread: Re: license
Index(es):
- Date
- Thread