Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints Conference Paper uri icon

publication date

  • October 1, 2008

published in

  •  

start page

  • 315

end page

  • 318