Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
Static Analysis of Component Systems Using Behavior Protocols
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
In this paper, we present the consent operator.
In this paper, we present the consent operator.
(en)
Title
Static Analysis of Component Systems Using Behavior Protocols
Static Analysis of Component Systems Using Behavior Protocols
(en)
skos:prefLabel
Static Analysis of Component Systems Using Behavior Protocols
Static Analysis of Component Systems Using Behavior Protocols
(en)
skos:notation
RIV/00216208:11320/03:00002415!RIV/2004/MSM/113204/N
http://linked.open.../vavai/riv/strany
116;117
http://linked.open...avai/riv/aktivita
Z
http://linked.open...avai/riv/aktivity
Z(MSM 113200006)
http://linked.open...vai/riv/dodaniDat
2004
http://linked.open...aciTvurceVysledku
Adámek, Jiří
http://linked.open.../riv/druhVysledku
D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku
628725
http://linked.open...ai/riv/idVysledku
RIV/00216208:11320/03:00002415
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
Static;Analysis;Component;Systems;Using;Behavior;Protocols
(en)
http://linked.open.../riv/klicoveSlovo
Component
Protocols
Analysis
Behavior
Using
Static
Systems
http://linked.open...ontrolniKodProRIV
[C8880C8881DD]
http://linked.open...v/mistoKonaniAkce
Anheim, California, USA
http://linked.open...i/riv/mistoVydani
Anheim, California, USA
http://linked.open...i/riv/nazevZdroje
OOPSLA 2003 Companion
http://linked.open...in/vavai/riv/obor
JC
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...ocetUcastnikuAkce
0
(
xsd:int
)
http://linked.open...nichUcastnikuAkce
0
(
xsd:int
)
http://linked.open...UplatneniVysledku
2003
http://linked.open...iv/tvurceVysledku
Adámek, Jiří
http://linked.open...vavai/riv/typAkce
WRD - Světová
http://linked.open.../riv/zahajeniAkce
2003-01-01
(
xsd:date
)
http://linked.open...n/vavai/riv/zamer
http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20113200006
number of pages
2
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
ACM
https://schema.org/isbn
1-58113-751-6
http://localhost/t...ganizacniJednotka
11320
Faceted Search & Find service v1.16.118 as of Jun 21 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software