BibSonomy
::
user
::
marciomr
::
tag
user
group
author
concept
BibTeX key
search:all
search:marciomr
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
(1)
<<
< 1 >
>>
Model Checking: A Tutorial Overview
Stephan
Merz
MOVEP,
page3--38.
(
2000
)
to
model
impresso
checking
by
marciomr
and
1 other person
on Feb 20, 2008, 3:42 AM
URL
|
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
model
as tag from all users
model
as concept from marciomr
model
as concept from all users
related tags
+
checking
+
impresso
relations
tags
AI
ATMS
Chaff
DLs
KR
OWL
OWL-S
OWL_API
RACER
SAT
SHIQ
SHOQ
TMS
algorithm
base_revision
belief_revision
benchmark
category
checking
cognitive
computability
computation
concurrence
debugging
diagnosis
enviroment
evolution
hybrid_systems
impresso
incision
inconsistency
jena
knowledge
level
logic
logics
minimal_change
model
negation
ontology
planning
probability
proceedings
progams
relevance
representation
responsive
selection
semantic-web
semantic_web
semantics
semi_revision
set
solver
symbol
symbols
tableau
theory
uncertainty
universal_algebra
update
web-services