TZI Literaturverzeichnis

WIKINDX Resources

Journal Article: BibTeX citation key:  Edelkamp2011a
S. Edelkamp, D. Sulewski, J. Barnat, L. Brim and P. Simecek, "Flash Memory Efficient LTL Model Checking", Science of Computer Programming, vol. 76, iss. 2, pp. 136–157, 2011.
Added by: Deleted user 2011-02-26 18:38:26
Categories: General
Creators: Barnat, Brim, Edelkamp, Simecek, Sulewski
Collection: Science of Computer Programming

Number of views:  707
Popularity index:  30.42%

wikindx      |     Total Resources:  3135     |     Database queries:  30     |     Script execution:  0.41637 secs