Claude Jard. Teaching Distributed Algorithms using Spin. In Formal Methods in Computer Science Education, ETAPS 2008, Pages 0-0, Budapest, Hungary, March 2008.
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{JardEtaps08,
Author = {Jard, Claude},
Title = {Teaching Distributed Algorithms using Spin},
BookTitle = {Formal Methods in Computer Science Education, ETAPS 2008},
Pages = {0--0},
Address = {Budapest, Hungary},
Month = {March},
Year = {2008}
}
Get EndNote Reference (.ref)