Showing 1 - 14 results of 14 for search 'Yoeli, Michael', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael 1917-

    Published 2008
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Synthesis of delay-insensitive circuits specified by trace graphs

    Synthesis of delay-insensitive circuits specified by trace graphs by Ginzburg, Abraham, Yoeli, Michael

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Specification and verification of asynchronous circuits

    Specification and verification of asynchronous circuits by Yoeli, Michael

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Digital networks

    Digital networks by Brzozowski, Janusz A. 1935-, Yoeli, Michael

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Verification of systems and circuits using LOTOS, Petri nets, and CCS

    Verification of systems and circuits using LOTOS, Petri nets, and CCS by Yoeli, Michael, Kol, Rakefet

    Published 2008
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael

    Published 2008
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael 1917-

    Published 2008
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael 1917-

    Published 2008
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Net-based synthesis of delay-insensitive circuits

    Net-based synthesis of delay-insensitive circuits by Yoeli, Michael

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Super-nets and their hierarchy

    Super-nets and their hierarchy by Etzion, Tuvi, Yoeli, Michael

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Reducibility of synchronization structures

    Reducibility of synchronization structures by Ginzburg, A., Yoeli, Michael

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    On parallel programming primitives

    On parallel programming primitives by Yoeli, Michael, Ginzburg, A.

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    On the application of extended Petri nets to the verification of protocols

    On the application of extended Petri nets to the verification of protocols by Tomer, Amir, Yoeli, Michael

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Digital networks

    Digital networks by Brzozowski, Janusz A. 1935-, Yoeli, Michael

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: