• Search: Petri Net Based Verification of Distributed Algorithms

Showing 1 - 20 of 145

1
Kindler, Ekkart (Verfasser)
Berlin : Humboldt-Universität zu Berlin, 1996
eBook
Add to favourites
2
Best, Eike
Berlin [u.a.] : Springer, 2001
Book
Add to favourites
3
Jensen, Kurt (Verfasser)
1st ed. 2009
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
eBook
Add to favourites
4
Reisig, Wolfgang (Hrsg.)
Berlin [u.a.] : Springer, 1998
Book
Add to favourites
5
Jensen, Kurt (Herausgeber)
1st ed. 2013
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
eBook
Add to favourites
6
1st ed. 2012
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
eBook
Add to favourites
7
van der Aalst, Wil M. P (Herausgeber)
1st ed. 2012
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
eBook
Add to favourites
8
Lilius, Johan (Herausgeber)
1st ed. 2010
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
eBook
Add to favourites
9
1st ed. 2009
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
eBook
Add to favourites
11
van der Aalst, Wil M. P (Herausgeber)
1st ed. 2009
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
eBook
Add to favourites
13
Hurson, Ali R. (Hrsg.)
1, ed.
San Diego [u.a.] : Academic Press, 2005
Book
Add to favourites
15
Bérard, Béatrice
Berlin [u.a.] : Springer, 2001
Book
Add to favourites
16
Weiss, Gerhard (Herausgeber)
Cambridge, Mass. : MIT Press, 1999
Book
Add to favourites
18
Liu, Wenyin (Herausgeber)
Berlin : Springer, 2004
Book
Add to favourites
19
Workshop on the Future Trends of Distributed Computing Systems in the 1990s (1988 : Hongkong)
Washington, D.C. : Computer Society Press, 1988
Book
Add to favourites
20
International Conference on Distributed Computing Systems (12 : 1992 : Yokohama)
Los Alamitos, Calif. [u.a.] : IEEE Computer Soc. Press, 1992
Book
Add to favourites
Search tools: Get RSS Feed Email this Search Save search

Filter