@inproceedings{739,
  author = {Gabor Madl and Sherif Abdelwahed and Gabor Karsai},
  title = {Automatic Verification of Component-Based Real-Time CORBA Applications},
  year = {2004},
  journal = {the 25th IEEE International Real-Time Systems Symposium},
  month = {December},
  address = {Lisbon, Portugal},
  language = {eng},
}