@InProceedings{dovland05swste,
  author =       {Johan Dovland and Einar Broch Johnsen and Olaf Owe},
  title =        {Verification of Concurrent Objects with Asynchronous
                  Method Calls},
  booktitle =    {Proceedings of the {IEEE} International
                  Conference on Software Science, Technology \&
                  Engineering({SwSTE}'05)},
  pages =        {141--150},
  year =         2005,
  month =        feb,
  publisher =    {{IEEE} Computer Society Press},
}