Showing 1 - 20 results of 23 for search 'Penczek, Wojciech', query time: 0.27s 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
    Timed automata based model checking of timed security protocols

    Timed automata based model checking of timed security protocols by Kurkowski, Mirosław, Penczek, Wojciech

    Published 2008
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Advances in verification of time Petri nets and timed automata a temporal logic approach

    Advances in verification of time Petri nets and timed automata a temporal logic approach by Penczek, Wojciech, Półrola, Agata

    Published 2006
    Description
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Checking reachability properties for timed automata via SAT

    Checking reachability properties for timed automata via SAT by Woźna, Bożena, Penczek, Wojciech, Zbrzezny, Andrzej

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Partial order reductions preserving simulations

    Partial order reductions preserving simulations by Gerth, Rob, Kuiper, Ruurd, Penczek, Wojciech

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Model checking for a fragment of event structure logic

    Model checking for a fragment of event structure logic by Penczek, Wojciech

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    The temporal logic for event structures

    The temporal logic for event structures by Penczek, Wojciech

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Verifying timed properties of security protocols

    Verifying timed properties of security protocols by Jakubowska, Gizela, Penczek, Wojciech

    Published 2006
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Bounded model checking for interpreted systems

    Bounded model checking for interpreted systems by Penczek, Wojciech, Lomuscio, Alessio

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    SAT-based bounded model checking for the universal fragment of TCTL

    SAT-based bounded model checking for the universal fragment of TCTL by Penczek, Wojciech, Woźna, Bożena, Zbrzezny, Andrzej

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Distributed games local interactions, explicit communication, and casual knowledge

    Distributed games local interactions, explicit communication, and casual knowledge by Ambroszkiewicz, Stanisław, Penczek, Wojciech

    Published 1999
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Team formation in a distributed environment the idea and algorithms

    Team formation in a distributed environment the idea and algorithms by Ambroszkiewicz, Stanisław, Matyja, Olaf, Penczek, Wojciech

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    First-order temporal logic over trace systems

    First-order temporal logic over trace systems by Penczek, Wojciech, Srebrny, Marian

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Verifying security protocols modeled by networks of automata

    Verifying security protocols modeled by networks of automata by Kurkowski, Mirosław, Penczek, Wojciech

    Published 2007
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Model checking security protocols: a multi-agent system approach

    Model checking security protocols: a multi-agent system approach by Lomuscio, Alessio, Penczek, Wojciech

    Published 2007
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Reachability analysis for timed automata based on partitioning

    Reachability analysis for timed automata based on partitioning by Półrola, Agata, Penczek, Wojciech, Szreter, Maciej

    Published 2003
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Unbounded model checking for knowledge and time

    Unbounded model checking for knowledge and time by Kacprzak, Magdalena, Lomuscio, Alessio, Penczek, Wojciech

    Published 2003
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Branching time bounded model checking for elementary net systems

    Branching time bounded model checking for elementary net systems by Penczek, Wojciech, Woźna, Bożena, Zbrzezny, Andrzej

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Modeling rational BDI agents within the framework of asynchronous automata

    Modeling rational BDI agents within the framework of asynchronous automata by Ambroszkiewicz, Stanisław, Penczek, Wojciech

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Inevitability in diamond-discrete systems

    Inevitability in diamond-discrete systems by Penczek, Wojciech

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Transactions on petri nets and other models of concurrency XII

    Transactions on petri nets and other models of concurrency XII

    Published 2017
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:

Search Tools: