Browse by all authors Browse By Author Name - van+den+Berg,+Lionel

Browse Results (2 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
van den Berg, Lionel, Strooper, Paul and Johnston, Wendy (2007). An automated approach to the interpretation of counter-examples. In: Proceedings of the Workshop on Verification and Debugging (V&D 2006). Workshop on Verification and Debugging (V&D 2006), Seattle, WA, United States, (19-35). 21 August 2006. doi:10.1016/j.entcs.2006.12.027 67   Cited 2 times in Scopus2 0
Johnston, Wendy, Winter, Kirsten, van den Berg, Lionel, Strooper, Paul and Robinson, Peter (2006). Model-based variable and transition orderings for efficient symbolic model checking. In: Jayadev Misra, Tobias Nipkow and Emil Sekerinski, FM 2006: Formal Methods. 14th International Symposium on Formal Methods: Proceedings. Formal Methods 2006: 14th International Symposium on Formal Methods (FM 2006). Formal Methods for Security and Trust in Industrial Applications, Hamilton, ON, Canada, (524-540). 21-27 August 2006. doi:10.1007/11813040_35 137   1 Cited 1 times in Scopus1 0