1
Gepubliceerd in 2005
Inhoudsopgave: ... Bisimulation for Non-markovian Processes -- Object-Orientation and Component Systems -- On Refinement...
Volledige tekst
Elektronisch E-boek