Menu

Filtros : "Electronic Notes in Theoretical Computer Science" "Brazilian Symposium on Formal Methods - SBMF" Removido: "LÓGICA FORMAL" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Trabalho de evento-anais periodico

    Model checking merged program traces (2009)

    Silva, Paulo Salem da; Melo, Ana Cristina Vieira de

    Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME

    Subjects: JAVA, MODELOS DE PROCESSO DE SOFTWARE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 06 nov. 2025. , 2009

    • APA

      Silva, P. S. da, & Melo, A. C. V. de. (2009). Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.05.047

    • NLM

      Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047

    • Vancouver

      Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047

  • Trabalho de evento-anais periodico

    From active names to π-calculus rewriting rules (2005)

    Melo, Ana Cristina Vieira de

    Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME

    Subjects: TEORIA DOS AUTÔMATOS, MODELOS MATEMÁTICOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MELO, Ana Cristina Vieira de. From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.entcs.2005.03.010. Acesso em: 06 nov. 2025. , 2005

    • APA

      Melo, A. C. V. de. (2005). From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.entcs.2005.03.010

    • NLM

      Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010

    • Vancouver

      Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2025