Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (2)
Journals (0)
Save Search
1-2 of 2
results for
Multi-valued Kripke structure
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: Multi-valued bisimulation quotienting algorithms 1
Restricted access
Research article
First published February 16, 2019
Multi-valued bisimulation quotienting algorithms 1
Deng Hui,
Li Zhi
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Preview Abstract
Get Access
Select article: Quantitative Analysis of Lattice-valued Kripke Structures
Restricted access
Research article
First published November, 2014
Quantitative Analysis of Lattice-valued Kripke Structures
Haiyu Pan,
Min Zhang,
Hengyang Wu
[...]
View All
Fundamenta Informaticae
Preview Abstract
Get Access
1
10 / page
