Organization of Biological Field Stations
Organization of Biological Field Stations
http://www.obfs.org/

Organization of Biological Field Stations
Organization of Biological Field Stations
http://www.obfs.org/

Organization of Biological Field Stations
Organization of Biological Field Stations
http://www.obfs.org/

Model checking
Model checking Erlang code through formal methods.
http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

Abandoned Stations
Closed underground stations on subways, trolleys, and mainline railways in and near New York City. History, diagrams, photos.
http://www.columbia.edu/~brennan/abandoned/

Subway Navigator
Maps and stations of subways and other heavy rail transit systems throughout the world, and a route finder detailing the path between any two stations.
http://www.subwaynavigator.com/

Grumberg, Orna
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.
http://www.cs.technion.ac.il/users/orna/

TILT Compiler
TILT Compiler Home Page
http://www.tilt.cs.cmu.edu/

Municipal Solutions Ltd.
Municipal Solutions is a privately owned manufacturer and distributor of bulk water distribution systems, septage receiving systems, and access and billing software.
http://www.municipal-solutions.com/

C3 - Convergent Communications Consultants
Research and consulting services for television stations, programmers and syndicators. Specializing in positioning local stations and strategic development in multi-platform environments.
http://www.c-cube.net/