1
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
View full text
Electronic eBook