• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 14 matches

• 2013
• 
  Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea:
  Building Traceable Event-B Models from Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
  On the Satisfiability of Metric Temporal Logics over the Reals. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen:
  Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Zamira Daw, Rance Cleaveland, Marcus Vetter:
  Integrating model checking and UML based model-driven development for embedded systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi:
  Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Brijesh Dongol, John Derrick:
  Simplifying proofs of linearisability using layers of abstraction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Vahid Hashemi, Holger Hermanns, Andrea Turrini:
  On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Gerald Lüttgen, Walter Vogler:
  Richer Interface Automata with Optimistic and Pessimistic Compatibility. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Murat Moran, James Heather:
  Automated Analysis of Voting Systems with Dolev-Yao Intruder Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Georges Morbé, Christoph Scholl:
  Fully Symbolic TCTL Model Checking for Incomplete Timed Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Lucian M. Patcas, Mark Lawford, Tom Maibaum:
  From System Requirements to Software Requirements in the Four-Variable Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Efstathios Stathakidis, David M. Williams, James Heather:
  Verifying a Mix Net in CSP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
  Compositional Verification of a Lock-Free Stack with RGITL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
• 
  Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani:
  Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)