User menu

Testing Planning Domains (without Model Checkers)

Bibliographic reference Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume. Testing Planning Domains (without Model Checkers).Third Workshop on Model-Based Testing (MBT 2007) (Braga, Portugal, du 31/03/2007 au 01/04/2007). In: Electronic Notes in Theoretical Computer Science, Vol. 190, no. 2, p. 113-125 (2007)
Permanent URL http://hdl.handle.net/2078.1/79756