What is IIASA

Information Kit
History
Funding
Location
Goodwill Ambassador

Leadership

Director/ CEO
Deputy Director
Governance
Management Organization
Strategic Plan

National Members

Benefits of Membership
Full List of Members
Internal Council Page

Working at IIASA

Careers IIASA
Job Openings

Events

Featured Events
Upcoming Events
Past Events
Koopmans

News

2013

Giving

Supporting Young Scientists
Supporting IIASA's Research
Gifts in Honor
Ways to Give

IIASA Alumni

Where are they now
Giving

Achievements

Science and Policy Impacts
Awards
IIASA and the Nobel Prize

Research Overview

Global Problem Areas
Advanced Systems Analysis
Drivers of Global Transformations
Policy & Governance

Research Programs

Advanced Systems Analysis
Ecosystems Services and Management
Energy
Evolution and Ecology
Mitigation of Air Pollution
Risk, Policy, and Vulnerability
Transitions to New Technologies
World Population

Flagship Projects

Global Energy Assessment
World Water Scenarios

Models, Tools & Data

Read and access IIASA's models, tools, and data.

Research Projects

Read about individual research projects and activities at IIASA.

Research Partners

Read how IIASA works with research partners across the globe to deliver world-class research.

Education and Training

Young Scientists Program
Postdoctoral Program
Southern African YSSP

Young Scientists Program

Apply
Benefits/Awards
Funding and General Arrangements
General Information
The YSSP Team

Postdoctoral Program

Apply
Benefits
Postdocs at IIASA
Previous Postdocs
Testimonials

Southern African YSSP

Apply
Benefits
General Information

Working at IIASA

Careers at IIASA
Job Openings

Media Center

Press Releases
Press Coverage
Multimedia
Feature Articles
E-newsletter

Publications

Publication Search
Recent Publications
IIASA's Magazine Options
IIASA Annual Report
IIASA Progress Report

Models, Tools & Data

Read and access IIASA's models, tools, and data.

Search

Publications Catalog
Site Search
Staff Search

Contacts

Main contacts
Find a person
Keep in touch

SITE SEARCH
PUBLICATIONS SEARCH
STAFF SEARCH
EVENT SEARCH

Compliance Quantified: An Introduction to Verification Theory

Authors: Avenhaus R, Canty M

Publication Year: 1996

Reference: Cambridge University Press, Cambridge, UK [1996]

International Institute for Applied Systems Analysis (IIASA)
Schlossplatz 1, A-2361 Laxenburg, Austria
Phone: (+43 2236) 807 0 Fax:(+43 2236) 71 313

Twitter Facebook Youtube