Find:

Searching for PHRASE mats kindahl.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
3 documents found. Order: number of citations.

An Improved Search Strategy for Lossy Channel Systems - Abdulla, Kindahl, Peled (1997)   (Correct)   (4 citations)
S-751 05 Uppsala, Sweden parosh@docs.uu.se Mats Kindahl Dept. of Computer Systems P.O. Box 325 S-751
for Lossy Channel Systems Parosh Aziz Abdulla, Mats Kindahl, Doron Peled
www.docs.uu.se/docs/avds/POM.ps

A General Approach to Partial Order Reductions in.. - Abdulla, Jonsson.. (1998)   (Correct)   (4 citations)
Parosh Aziz Abdulla Bengt Jonsson y Mats Kindahl z Doron Peled x Abstract The purpose of
160-170, 1993. AKP97] Parosh Aziz Abdulla, Mats Kindahl, and Doron Peled. An improved search strategy
www.docs.uu.se/docs/avds/pom_cav98.ps

Decidability of Simulation and Bisimulation between Lossy.. - Abdullah, al.   (Correct)
?Extended Abstract) Parosh Aziz Abdulla Mats Kindahl Dept. of Computer Systems, P.O. Box 325, 751
www.docs.uu.se/docs/avds/concur95.ps

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC