skip to main content
Idioma:

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking

Amat, Nicolas ; Berthomieu, Bernard ; Dal Zilio, Silvano Kleijn, Jetty ; Buchs, Didier ; Carmona, Josep

Fundamenta informaticae, 2022-01, Vol.187 (2-4), p.103-138 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  7 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.