Verteilende Verfeinerung Entwurf und Verifikation verteilter Algorithmen mit Petrinetzen

Description

Zugl.: Berlin, Humboldt-Univ., Diss., 2007 u.d.T.: Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen

Links & Downloads

1. http://deposit.d-nb.de/cgi-bin/dokserv?id=2996491&prov=M&dok_var=1&dok_ext=htm

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/185002379
Date	January 2007
Creators	Wu, Bixia
Publisher	Berlin Logos-Verl.
Source Sets	OCLC
Language	German
Detected Language	German