Deutsch
 
Benutzerhandbuch Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Bericht

A Logical Step Forward in Parametric Bisimulations

MPG-Autoren
/persons/resource/persons145954

Neis,  Georg
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144520

Dreyer,  Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144538

Vafeiadis,  Victor
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Hur, C.-K., Neis, G., Dreyer, D., & Vafeiadis, V.(2014). A Logical Step Forward in Parametric Bisimulations (MPI-SWS-2014-003). Saarbrücken: Max Planck Institute for Software Systems. Retrieved from http://www.mpi-sws.org/cont/tr/2014-003.pdf.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-0026-A68B-6
Zusammenfassung
Es ist keine Zusammenfassung verfügbar