Site Details: 

Site Title in Open DirectoryAbstract State Machines
Snapshot (if available)Go to: Abstract State Machines at www.eecs.umich.edu/gasm/
Site Description in Open DirectoryA formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Site CategorySite Category Top: Computers: Algorithms

Domain Details: 
Info for site: Abstract State MachinesSite Details:www.eecs.umich.edu/gasm/Details for: www.eecs.umich.edu/gasm/
Info for site: Abstract State MachinesSite Details: www.eecs.umich.edu/gasm/Details for: www.eecs.umich.edu/gasm/
Info for site: Abstract State MachinesSite Details:www.eecs.umich.edu/gasm/Details for:` .$url.`
Google
  Web www.eecs.umich.edu

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Directory listings are provided by Open Directory and modified by www.0directory.com

|Search |Home|DigaLot|

Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 www.0directory.com

Free thumbnail preview by Thumbshots.org