Automata, Languages and Programming

Ediciones (1)

• Automata, Languages and Programming (1998)

  Springer · inglés · ISBN 9783540647812

Más obras de Kim G. Larsen

Models, Mindsets, Meta : The What, the How, and the Why Not?

FFormal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

CCONCUR 2001 - Concurrency Theory

CONCUR 2001 - Concurrency Theory

AA complete protocol verification using revitalized bisimulat

A complete protocol verification using revitalized bisimulation

CComputer Aided Verification: 3rd International Workshop, Cav

Computer Aided Verification: 3rd International Workshop, Cav 92

Ver todas las obras de Kim G. Larsen →