Change Log: Yuxin Deng's home page

Yuxin Deng's home page

Current status: Connection error
Number of users monitoring this page: 0
Most recent sizable change (text, html) : 2008-03-17 06:30
Most recent change (text, html) : 2008-03-17 06:30
Last checked for changes: 2008-07-10 18:43
ChangeDetection started monitoring: 2008-03-14 06:29

monitor this page

summary of most recent changes

Showing 1 - 1 of 1

[refresh]

show added and deleted only added only deleted | show context hide context | show sizable show all

View changes: 2008-03-17 06:30 63 new words, 0 deleted words, 4% change

... My thesis defense] Jun Pang, Zhengqin Luo, and Yuxin Deng. On Automatic Verification of Self-stabilizing Population Protocols. In Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'08) . IEEE Computer Society, 2008. To appear. [PS] , [PDF] , [Abstract] , [Bib] Yuxin Deng. A simple completeness proof My thesis defense] Jun Pang, Zhengqin Luo, and Yuxin Deng. On Automatic Verification of Self-stabilizing Population Protocols. In Proceedings of the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'08) . IEEE Computer Society, 2008. To appear. [PS] , [PDF] , [Abstract] , [Bib] Yuxin Deng. A simple completeness proof My thesis defense] ... A simple completeness proof

link to this change log

Changes to the page yanqiqi.net/~yuxin/ are logged on this page as they are detected. You can link to this log by pasting the HTML below into your page. It produces a link which looks like this: change log

Yuxin Deng's home page

monitor this page

summary of most recent changes

link to this change log

log in

search