User menu

Combining Partial Order Reduction with Bounded Model Checking

Bibliographic reference Vander Meulen, José ; Pecheur, Charles. Combining Partial Order Reduction with Bounded Model Checking.Proceedings of Communicating Process Architectures (Eindhoven, du 01/11/2009 au 04/11/2009). In: Communicating Process Architectures 2009, IOS Press2009, p.29-48
Permanent URL http://hdl.handle.net/2078.1/79717