Bounded Saturation Based CTL Model Checking.

CímBounded Saturation Based CTL Model Checking.
Közlemény típusaConference Paper
Kiadás éve2011
SzerzőkVörös, A., Darvas, D., and Bartha, T.
Konferencia neve12th Symposium on Programming Languages and Software Tools - SPLST'11

Nyelvek

  • English
  • Magyar

Belépés

Navigáció