AsmL Specification and Verification of Lamport's Bakery Algorithm

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ITI 2005 : proceedings of the 27th International Conference on Information Technology Interfaces : June 20-23, 2005, Cavtat, Croatia S. 617 - 623
1. Verfasser:	BOTINCAN, Matko
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Zagreb University Computing Centre 2005
Schlagworte:	Applied sciences Computer science; control theory; systems Computer systems and distributed systems. User interface Exact sciences and technology Programming languages Software Specification language Labelled transition system Safety Liveness Reachability analysis
ISBN:	9789537138028, 953713802X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISBN:	9789537138028 953713802X