Differences

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]
vkuncak 		encyclopedia [2010/04/09 14:47] (current)
vkuncak
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]].