LIBROS DEL AUTOR: keijo heljanko

1 resultados para LIBROS DEL AUTOR: keijo heljanko

keijo heljanko Eliminar filtro Quitar filtros
  • Unfoldings
    Javier Esparza / Keijo Heljanko
    Transition Systems and Products.- Unfolding Products.- Search Procedures for the Executability Problem.- More on the Executability Problem.- Search Procedures for the Repeated Executability Problem.- Search Procedures for the Livelock Problem.- Model Checking LTL.- Summary, Applications, Extensions, and Tools. ...
    Disponible

    170,10 €