Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 8524 results
Sort by: relevance publication year

Preface

JOURNAL ARTICLE published March 2009 in Electronic Notes in Theoretical Computer Science

Authors: Christos Makris | Joost Visser

Preface

JOURNAL ARTICLE published August 2009 in Electronic Notes in Theoretical Computer Science

Authors: Jesús M. Almendros-Jiménez

Stateflow Diagrams in

JOURNAL ARTICLE published July 2009 in Electronic Notes in Theoretical Computer Science

Authors: Ana Cavalcanti

Preface

JOURNAL ARTICLE published July 2009 in Electronic Notes in Theoretical Computer Science

Authors: Jianhua Zhao | Volker Stolz

Preface

JOURNAL ARTICLE published September 2009 in Electronic Notes in Theoretical Computer Science

Authors: Michaela Huhn | Hardi Hungar

Preface

JOURNAL ARTICLE published July 2009 in Electronic Notes in Theoretical Computer Science

Authors: Jens Chr. Godskesen | Massimo Merro

Preface

JOURNAL ARTICLE published December 2009 in Electronic Notes in Theoretical Computer Science

Authors: Elvira Albert | Samir Genaim

Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting

JOURNAL ARTICLE published July 2007 in Electronic Notes in Theoretical Computer Science

Authors: Ilaria Matteucci

Recognizing Strategies

JOURNAL ARTICLE published April 2009 in Electronic Notes in Theoretical Computer Science

Authors: Bastiaan Heeren | Johan Jeuring

CaRet With Forgettable Past

JOURNAL ARTICLE published March 2009 in Electronic Notes in Theoretical Computer Science

Authors: Laura Bozzelli

Preface

JOURNAL ARTICLE published October 2009 in Electronic Notes in Theoretical Computer Science

Authors: Jens Happe | Barbora Zimmerová

Preface

JOURNAL ARTICLE published December 2009 in Electronic Notes in Theoretical Computer Science

Authors: Mauricio Ayala-Rincón | Fairouz Kamareddine

Functionally-Generalised MOQA Operations

JOURNAL ARTICLE published January 2009 in Electronic Notes in Theoretical Computer Science

Authors: Thierry Vallee

Preface

JOURNAL ARTICLE published August 2009 in Electronic Notes in Theoretical Computer Science

Authors: Matthew Hennessy | Bartek Klin

Preface

JOURNAL ARTICLE published July 2009 in Electronic Notes in Theoretical Computer Science

Authors: Thomas Hildebrandt | Daniele Gorla

Preface

JOURNAL ARTICLE published January 2009 in Electronic Notes in Theoretical Computer Science

Authors: Guido Rößling | Ángel Velázquez-Iturbide

Preface

JOURNAL ARTICLE published July 2009 in Electronic Notes in Theoretical Computer Science

Authors: Vasco T. Vasconcelos | Nobuko Yoshida

Reachability Analysis in BioAmbients

JOURNAL ARTICLE published January 2009 in Electronic Notes in Theoretical Computer Science

Authors: Gianluigi Zavattaro

Preface

JOURNAL ARTICLE published September 2009 in Electronic Notes in Theoretical Computer Science

Authors: Alice Miller | Muffy Calder

Of wlp and CSP

JOURNAL ARTICLE published December 2009 in Electronic Notes in Theoretical Computer Science

Authors: Steve Dunne