Analyzing dynamic voting using Petri nets

TitleAnalyzing dynamic voting using Petri nets
Publication TypeConference Paper
Year of Publication1996
AuthorsChen, I. - R., and D. C. Wang
Conference Name15th Symposium on Reliable Distributed Systems (SRDS '96)
Date PublishedOctober 1996
Conference LocationNiagara, Canada