Themulus: A Timed Contract-calculus

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020
1. Verfasser:	García, Alberto Aranda (VerfasserIn)
Weitere Verfasser:	Cambronero, María-Emilia (VerfasserIn), Colombo, Christian (VerfasserIn), Llana, Luis (VerfasserIn), Pace, Gordon J. (VerfasserIn)
Pages:	2020
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!