EAP - Proceedings of the Estonian Academy of Sciences. Physics. Mathematics Publications

cover

Proceedings of the Estonian Academy of Sciences. Physics. Mathematics

2007 2006 2005 2004 2003 Vol. 52, Issue 4 Vol. 52, Issue 3 Vol. 52, Issue 2 Vol. 52, Issue 1 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990

2007 2006 2005 2004 2003 Vol. 52, Issue 4 Vol. 52, Issue 3 Vol. 52, Issue 2 Vol. 52, Issue 1 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990

Open Access Journal

Fairness in automata theoretic model checking; pp. 394–412

PDF | https://doi.org/10.3176/phys.math.2003.4.04

Authors

Tuomo Malinen, Matti Luukkainen

→ Back issues

Terms and Conditions