Ivana Mijajlovic (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2

Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn: Refinement and Separation Contexts. FSTTCS 2004: 421-433

Selection of 1 from 3 records - Ivana Mijajlovic has 6 coauthors