MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dragan Bosnacki" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Enhancing Partial-Order Reduction via Process Clustering  
  • by Twan Basten, Dragan Bosnacki — 2001 — In: Automated Software Engineering, ASE 2001, 16th. IEEE International Conference, Proceedings
  • ….a.basten@(email omitted); Dragan Bosnacki Dept. of Computing Science, Eindhoven University of Technology PO Box 513, NL-5600 MB…
  • Cited by 2 (1 self) – Add To MetaCart
  • Using Fairness to Make Abstractions Work  
  • by Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova — 2004 — In SPIN
  • …Using Fairness to Make Abstractions Work Dragan Boˇsnački 1 , Natalia Ioustinova 2 , and Natalia…
  • Add To MetaCart
  • Model Checking SDL with Spin  
  • by Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova — 2000
  • …Model Checking SDL with Spin Dragan Bosnacki 1 , Dennis Dams 2 , Leszek Holenderski 1…
  • Cited by 9 (0 self) – Add To MetaCart
  • Symmetric Spin  
  • by Dragan Bosnacki, Dennis Dams, Leszek Holenderski — 2000 — In International Journal on Software Tools for Technology Transfer
  • …Symmetric Spin ? Dragan Bosnacki 1 , Dennis Dams 2 , and Leszek Holenderski 1 1 Dept. of Computing…
  • Cited by 25 (0 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB