download seminar details:
{
pdf
}
Seminar
| Speaker: | M. Vardi (Rice University) |
|---|---|
| Title: | Automated verification=Graphs, automata and logic |
| Date: | Παρασκευή, 13 Νοέ 1998 |
| Ώρα: | 18:00-19:00 |
| mpla.math.uoa.gr |
|
| Speaker: | M. Vardi (Rice University) |
|---|---|
| Title: | Automated verification=Graphs, automata and logic |
| Date: | Παρασκευή, 13 Νοέ 1998 |
| Ώρα: | 18:00-19:00 |
Comments