BibSonomy :: publication ::

The blue social bookmark and publication sharing system.

entry of dblp:

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Fair SMG and Linear Time Model Checking.

In: Automatic Verification Methods for Finite State Systems, Vol. 407Springer (1989) , p. 133-150.

URL:	http://dblp.uni-trier.de/db/conf/avmfss/avmfss1989.html#BarringerFG89

dblp