Showing 1 - 3 results of 3 for search 'Baldan, P', query time: 0.02s Refine Results
  1. 1
    Efficient Contextual Unfolding

    Efficient Contextual Unfolding by Rodríguez, C, Schwoon, S, Baldan, P

    Published 2011
    Conference item
  2. 2
    Efficient unfolding of contextual Petri nets

    Efficient unfolding of contextual Petri nets by Baldan, P, Bruni, A, Corradini, A, König, B, Rodríguez, C, Schwoon, S

    Published 2012
    Journal article
  3. 3
    Lost in abstraction: monotonicity in multi-threaded programs

    Lost in abstraction: monotonicity in multi-threaded programs by Kaiser, A, Kroening, D, Wahl, T

    Published 2014
    Other Authors: “…Baldan, P…”
    Conference item

Search Tools: