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:  686
Popularity index:  30.14%

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