Abstract interpretation of temporal logic: abstract model checking revisited

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

Beskrivelse

Conference presentation
Periode19 aug. 2010
BegivenhedstitelDanish Static Analysis Symposium (DANSAS'10)
BegivenhedstypeSymposium
ArrangørSyddansk Universitet
PlaceringOdense, DanmarkVis på kort

Dokumenter og Links

Relateret indhold