edoc - Dokumenten- und Publikationsserver der Humboldt-Universität zu Berlin
      Logo der Humboldt-Universität
 
edocSucheAutorenhinweiseRechte/Info/Hilfe        
 
         
 

Schriftenreihen und Sammelbände » Autoren » Dimitrov, Evgeni

Einrichtungen
Autoren
Sachgebiete (DDC)
Informationen
    
Dimitrov, Evgeni
1 Eintrag vorhanden
1995 – Nr. 43
Informatik-Berichte		Taubert, Udo; Fischer, Joachim; Dimitrov, Evgeni:
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets		Metadaten
PDF		proprint-order
 
 
 
 

edoc-Server der Humboldt-Universität zu Berlin  •  Impressum  •  edoc@cms.hu-berlin.de  •  Nutzungsbedingungen  •  Haftungsausschluss  •  Statistik