Tools and algorithms for the construction and analysis of systems Part 2

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	TACAS (VerfasserIn), ETAPS (VerfasserIn)
Weitere Verfasser:	Biere, Armin (HerausgeberIn), Parker, David (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 12079
Schlagworte:	Konferenzschrift > Programmverifikation > Bisimulation
Online Zugang:	Cover Inhaltsverzeichnis Zugehörige Videos
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
Tools and algorithms for the construction and analysis of systems Part 2	2020	12079
Tools and algorithms for the construction and analysis of systems Part 1	2020	12078