CITED WORKS

Referenced in publications covered by other indexes

  • Citing :
    Karvi T, Tienari M, Kaivola R (2005-2006)
    Stepwise development of process-algebraic specifications in decorated trace semantics - FORMAL METHODS IN SYSTEM DESIGN
    Cited :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING
  • Citing :
    Cleaveland R, Sims ST (2002-2003)
    Generic tools for verifying concurrent systems - SCIENCE OF COMPUTER PROGRAMMING
    Cited :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING
  • Citing :
    Lee D, Yannakakis M (1996-1997)
    Principles and methods of testing finite state machines - A survey - PROCEEDINGS OF THE IEEE
    Cited :
    COMPUTING DIAGNOSTIC-TESTS FOR INCORRECT PROCESSES - IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS

Referenced in unindexed international publicatons

  • Citing :
    Smolka, Scott A. , Lewis, Philip M. , (2003-2004)
    Specification and verification for concurrent systems with graphical and textual editors - US Patent 6385765
    Cited :
    Computing Diagnostic Tests for Incorrect Processes - Proceedings of the IFIP Symposium on Protocol Specification, Testing and Verification.

Referenced in books published by international publishers

  • Citing :
    RANCE CLEVAELAND, OLEG SOKOLSKY (2001-2002)
    Handbook of Process Algebra - Elsevier
    Cited :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING

Referenced in publications covered by WoS indexes

  • Citing :
    Makela, Satu-Marja , Jarvinen, Sari , (2014-2015)
    Capturing Supermarket Shopper Behavior Using Smart Basket - SPRINGER-VERLAG BERLIN, GERMANY
    Cited :
    Shopper Behaviour Analysis Based on 3D Situation Awareness Information - VIDEO ANALYTICS FOR AUDIENCE MEASUREMENT
  • Citing :
    Dawson, Linda , Johnson, Maree , (2014-2015)
    Perceived Usefulness of Data Entry Tools in Medical Encounters: A Survey - JOURNAL OF MEDICAL SYSTEMS
    Cited :
    A usability framework for speech recognition technologies in clinical handover: A pre-implementation study - JOURNAL OF MEDICAL SYSTEMS