Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleModel checking in the modal -calculus and generic solutions
Author(s) Kyriakos Kalorkoti
TypeArticle in Journal
Abstract
Keywords
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S074771711000177X
LanguageEnglish
JournalJournal of Symbolic Computation
Volume46
Number5
Pages584 - 594
Year2011
NoteGroebner Bases and Applications
Edition0
Translation No
Refereed No
Webmaster