DILL - SPECIFYING DIGITAL LOGIC IN LOTOS Full Written Papers Refereed uri icon

Overview

Time

Date/time value

  • 1994

Additional Document Info

Parent Title

  • FORMAL DESCRIPTION TECHNIQUES, VI
  • FORTE 93 - IFIP 6th International Conference on Formal Description Techniques

Volume

  • 22

Issue

  • C-22

Publisher

  • publisher