Luigia Petre

Publications

Research output per year 1998 2021

• 38 Conference contribution
• 20 Commissioned report
• 14 Article
• 5 Edited Book
• 6 More
  • 5 Chapter
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2009

  Ensuring Correctness of Network Services with MIDAS

  Petre, L., Sere, K. & Walden, M., 2009, Turku Centre for Computer Science (TUCS), (TUCS Technical Report; vol. 938).

  Research output: Working paper › Professional

  Open Access

  File

  • Information services
  2 Downloads (Pure)