Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- The LRDE hosts a new member: Étienne Renault (2011-10-03) + (Étienne Renault has been graduated in real-time and distributed systems and he is interested in formal methods and model checking for distributed)