Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
surveys:mc [2010/02/22 19:39] maysam.yabandeh |
surveys:mc [2010/02/22 19:41] maysam.yabandeh |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Model Checking Tools for Software Systems ====== | ====== Model Checking Tools for Software Systems ====== | ||
| - | **//Maysam Yabandeh//** [[http://infoscience.epfl.ch/record/146549/files/|pdf]] | + | **//[[http://people.epfl.ch/maysam.yabandeh|Maysam Yabandeh]]//** [[http://infoscience.epfl.ch/record/146549/files/|pdf]] |
| //Please add your comments into Section [[mc#Discussion]]// | //Please add your comments into Section [[mc#Discussion]]// | ||