jasminecorp.net directory
Updated Blogs
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....

JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping


 
Detailed Information

URL:     http://www.cs.technion.ac.il/users/orna/

Title:     Grumberg, Orna

Description:     The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.

Directory:     Computers/Computer_Science/People/G

 
Reviews

Be the first to review this site
 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home || Web Designing || Get a Domain Name || Host your Web site || Terms of Service
Our Portfolio || Our Clients || Job Opportunities || Free GuestBook || Free Quote
Buy Books || Tell a Friend || Special Offer || Contact Us || Free Tutorial || Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .org .net
.info .biz .us