selected publications

• academic article

  • Verification of Non-functional Properties of a Composable Architecture with Petrinets.  Fundamenta Informaticae.  51:185-200. 2002