WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik: Recent submissions

Anzeige der Dokumente 36-40 von 69

The dot-depth and the polynomial hierarchy correspond on the delta levels

Borchert, Bernd; Lange, Klaus-Joern; Stephan, Frank; Tesson, Pascal; Therien, Denis (2004); Verschiedenartige Texte; WSI ; 2004 ; 3
RAVEN: real-time analyzing and verification environment

Ruf, Jürgen (2000); Verschiedenartige Texte; WSI ; 2000 ; 3
The Tecton Concept Library

Musser, David R.; Schupp, Sibylle; Schwarzweller, Christoph; Loos, Rüdiger (1999); Verschiedenartige Texte; WSI ; 1999 ; 2
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis

Lange, Walter; Rosenstiel, Wolfgang (2000); Verschiedenartige Texte; WSI ; 2000 ; 6
Effiziente Generierung von Zustandsautomaten mit integriertem Datenpfad aus taktgebundenen VHDL-Verhaltensbeschreibungen

Lange, Walter (2000); Verschiedenartige Texte; WSI ; 2000 ; 18

Anzeige der Dokumente 36-40 von 69

Stöbern