This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
encyclopedia [2010/04/09 14:47]
encyclopedia [2010/04/09 14:47] (current)
Line 7: Line 7:
 [[encyc:​Collections]] (Edited by Ruzica Piskac) [[encyc:​Collections]] (Edited by Ruzica Piskac)
-[[encyc:​Transition Systems]] (Edited by Thomas Wies and Radu Iosif)+[[encyc:​Transition Systems]] (Edited by Thomas Wies and Tomas Vojnar)
 As an example, please see [[http://​lara.epfl.ch/​dokuwiki/​encyc:​intro|this stub]]. As an example, please see [[http://​lara.epfl.ch/​dokuwiki/​encyc:​intro|this stub]].