Datei:A spectrum of approximate probabilistic bisimulations.pdf

Datei
Dateiversionen
Dateiverwendung
Metadaten

Größe der JPG-Vorschau dieser PDF-Datei: 424 × 600 Pixel.

Originaldatei ‎(1.239 × 1.752 Pixel, Dateigröße: 896 KB, MIME-Typ: application/pdf, 20 Seiten)

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

	Version vom	Vorschaubild	Maße	Benutzer	Kommentar
aktuell	14:18, 5. Mär. 2025		1.239 × 1.752, 20 Seiten (896 KB)	Timm Spork (Diskussion \| Beiträge)

Du kannst diese Datei nicht überschreiben.

Dateiverwendung

Keine Seiten verwenden diese Datei.

Metadaten

Diese Datei enthält weitere Informationen, die in der Regel von der Digitalkamera oder dem verwendeten Scanner stammen. Durch nachträgliche Bearbeitung der Originaldatei können einige Details verändert worden sein.

Bildtitel	English: LIPIcs, Vol.311, CONCUR 2024
Urheberrechte	English: Copyright (C) Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, and Tim Quatmann; licensed under Creative Commons License CC-BY 4.0
Fotograf	Timm Spork Christel Baier Joost-Pieter Katoen Jakob Piribauer Tim Quatmann
Urheberrechtsstatus	Geschützt
Online-Urheberrechtsangabe	https://creativecommons.org/licenses/by/4.0/
Kurztitel	English: A Spectrum of Approximate Probabilistic Bisimulations
Veröffentlicher	Schloss Dagstuhl– Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
Datumsangaben	08:33, 12. Dez. 2024
Medientyp	Text
Stichwörter	Markov chains Approximate bisimulation Abstraction Model checking
Medienherkunft	a_spectrum_of_approximate_probabilistic_bisimulations.tex
Sprache	English
Digitalisierungszeitpunkt	08:33, 12. Dez. 2024
Speicherzeitpunkt	08:33, 12. Dez. 2024
Datum, zu dem die Metadaten letztmalig geändert wurden	08:33, 12. Dez. 2024
Software	LaTeX with hyperref
Kennung	info:doi/10.4230/LIPIcs.CONCUR.2024.18
Umwandlungsprogramm	LaTeX with lipics-v2021.cls
Verschlüsselt	no
Papierformat	595.276 x 841.89 pts (A4)
Version des PDF-Formats	1.5