« Home

Conference. RelMiCS '05: 8th International Seminar on Relational Methods in Computer Science [relmics05]

  • February 2005
  • St. Catharines, ON, Canada
  • 10.1007/11734673

Backlinks

    Reference. Verification of Pushdown Systems Using Omega Algebra with Domain [mathieu-desharnais-2005]

    • February 22, 2006
    • Vincent Mathieu, Jules Desharnais
    • RelMiCS '05: 8th International Seminar on Relational Methods in Computer Science
    • 10.1007/11734673_15