Verifying concurrent processes using temporal logic

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book
http://www.productontology.org/id/Thesis

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/457888#Topic/logiciel_verification_logique_temporelle_multitraitement
http://experiment.worldcat.org/entity/work/data/457888#Topic/parallelverarbeitung_&lt_edv&gt
http://id.loc.gov/authorities/subjects/sh85042293
http://id.loc.gov/authorities/subjects/sh85029525
http://id.worldcat.org/fast/906854
http://id.loc.gov/authorities/subjects/sh85078117
http://experiment.worldcat.org/entity/work/data/457888#Topic/verification_logiciel
http://experiment.worldcat.org/entity/work/data/457888#Topic/programming_techniques
http://experiment.worldcat.org/entity/work/data/457888#Topic/logics_and_meanings_of_programs
http://experiment.worldcat.org/entity/work/data/457888#Topic/programme_parallele
http://experiment.worldcat.org/entity/work/data/457888#Topic/computer_science
http://experiment.worldcat.org/entity/work/data/457888#Topic/allocation_ressource
http://id.worldcat.org/fast/1052928
http://experiment.worldcat.org/entity/work/data/457888#Topic/verifikation_datenverarbeitung
http://experiment.worldcat.org/entity/work/data/457888#Topic/mathematische_logica
http://experiment.worldcat.org/entity/work/data/457888#Topic/parallelisme_informatique
http://id.loc.gov/authorities/subjects/sh89003285
http://experiment.worldcat.org/entity/work/data/457888#Topic/verifikation
http://id.loc.gov/authorities/subjects/sh85097826
http://experiment.worldcat.org/entity/work/data/457888#Topic/programmering
http://id.worldcat.org/fast/872451
http://experiment.worldcat.org/entity/work/data/457888#Topic/programozas_elmelet_logikai
http://id.loc.gov/authorities/subjects/sh85029528
http://experiment.worldcat.org/entity/work/data/457888#Topic/protocole_reseau
http://id.worldcat.org/fast/872413
http://id.worldcat.org/fast/872448
http://experiment.worldcat.org/entity/work/data/457888#Topic/heuristique
http://id.loc.gov/authorities/subjects/sh85029513
http://experiment.worldcat.org/entity/work/data/457888#Topic/parallelverarbeitung
http://experiment.worldcat.org/entity/work/data/457888#Topic/logiciels_verification
http://experiment.worldcat.org/entity/work/data/457888#Topic/verifikation_&lt_edv&gt
http://experiment.worldcat.org/entity/work/data/457888#Topic/programmation_structuree
http://experiment.worldcat.org/entity/work/data/457888#Topic/programmierung
http://experiment.worldcat.org/entity/work/data/457888#Topic/simultanverarbeitung
http://id.loc.gov/authorities/subjects/sh93007047
http://experiment.worldcat.org/entity/work/data/457888#Topic/logique_temporelle
http://id.worldcat.org/fast/906993
http://id.worldcat.org/fast/872335
http://id.worldcat.org/fast/1002045
http://experiment.worldcat.org/entity/work/data/457888#Topic/programmverifikation
http://experiment.worldcat.org/entity/work/data/457888#Topic/logica_simbolica_matematica

http://schema.org/alternateName

"Verifying concurrent processes using temporal logic"@en

http://schema.org/author

http://worldcat.org/entity/person/id/2661765095
http://worldcat.org/entity/person/id/2642098157

http://schema.org/contributor

http://id.loc.gov/authorities/names/n87885983
http://worldcat.org/entity/person/id/2661765095
http://worldcat.org/entity/person/id/2642098157
http://viaf.org/viaf/149020926

http://schema.org/creator

http://worldcat.org/entity/person/id/2642098157
http://worldcat.org/entity/person/id/2661765095
http://viaf.org/viaf/149020926
http://worldcat.org/entity/person/id/2673259553
http://id.loc.gov/authorities/names/n87885983

http://schema.org/name

"Verifying concurrent processes using temporal logic"
"Verifying concurrent processes using temporal logic"@en
"Verifying concurrent prcesses [sic] using temporal logic"@en
"VERIFYING CONCURRENT PROCESSES USING TEMPORAL LOGIC"@it
"Verifying Concurrent Processes Using Temporal Logic"@en
"Verifying Concurrent Processes Using Temporal Logic"

http://schema.org/workExample

http://www.worldcat.org/oclc/562960941
http://www.worldcat.org/oclc/793075068
http://www.worldcat.org/oclc/80905665
http://www.worldcat.org/oclc/611983741
http://www.worldcat.org/oclc/848746078
http://www.worldcat.org/oclc/8219232
http://www.worldcat.org/oclc/254820139
http://www.worldcat.org/oclc/318332931
http://www.worldcat.org/oclc/902314238
http://www.worldcat.org/oclc/8767213
http://www.worldcat.org/oclc/38634240
http://www.worldcat.org/oclc/71388590
http://www.worldcat.org/oclc/760741337
http://www.worldcat.org/oclc/466130203
http://www.worldcat.org/oclc/908895086
http://www.worldcat.org/oclc/439554763
http://www.worldcat.org/oclc/745497572
http://www.worldcat.org/oclc/859813294
http://www.worldcat.org/oclc/746074742
http://www.worldcat.org/oclc/475808709
http://www.worldcat.org/oclc/801001409
http://www.worldcat.org/oclc/878749426
http://www.worldcat.org/oclc/475225707
http://www.worldcat.org/oclc/757063430
http://www.worldcat.org/oclc/699822690
http://www.worldcat.org/oclc/36002020

allocation ressource.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"allocation ressource."