1
Gepubliceerd in 2008
Inhoudsopgave: ... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...
Volledige tekst
Elektronisch E-boek