[ACM Press the 10th workshop - Saint-Emilion, France (2002.07.01-2002.07.01)] Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10 - Specifying and verifying systems with TLA+
Lamport, Leslie, Matthews, John, Tuttle, Mark, Yu, YuanYear:
2002
Language:
english
DOI:
10.1145/1133373.1133382
File:
PDF, 282 KB
english, 2002