skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Analysing industrial protocols with formal methods Preview this item
ClosePreview this item
Checking...

Analysing industrial protocols with formal methods

Author: J M T Romijn
Publisher: Enschede : Universiteit Twente, 1999.
Dissertation: Proefschrift.
Series: IPA dissertation series, 1999-09
Edition/Format:   Thesis/dissertation : Thesis/dissertation : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: J M T Romijn
ISBN: 9090130861 9789090130866
OCLC Number: 989615914
Description: X, 190 p.
Series Title: IPA dissertation series, 1999-09
Responsibility: by Judi M.T. Romijn.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity<\/h3>
<http:\/\/www.worldcat.org\/oclc\/989615914<\/a>> # Analysing industrial protocols with formal methods<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Book<\/a>, schema:CreativeWork<\/a>, bgn:Thesis<\/a> ;\u00A0\u00A0\u00A0bgn:inSupportOf<\/a> \"Proefschrift.<\/span>\" ;\u00A0\u00A0\u00A0library:oclcnum<\/a> \"989615914<\/span>\" ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Place\/enschede<\/a>> ; # Enschede<\/span>\u00A0\u00A0\u00A0schema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Person\/romijn_j_m_t_judi<\/a>> ; # Judi. Romijn<\/span>\u00A0\u00A0\u00A0schema:datePublished<\/a> \"1999<\/span>\" ;\u00A0\u00A0\u00A0schema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1818884807<\/a>> ;\u00A0\u00A0\u00A0schema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0schema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Series\/ipa_dissertation_series<\/a>> ; # IPA dissertation series ;<\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"Analysing industrial protocols with formal methods<\/span>\" ;\u00A0\u00A0\u00A0schema:numberOfPages<\/a> \"190<\/span>\" ;\u00A0\u00A0\u00A0schema:productID<\/a> \"989615914<\/span>\" ;\u00A0\u00A0\u00A0schema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/989615914#PublicationEvent\/enschede_universiteit_twente_1999<\/a>> ;\u00A0\u00A0\u00A0schema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Agent\/universiteit_twente<\/a>> ; # Universiteit Twente<\/span>\u00A0\u00A0\u00A0schema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9789090130866<\/a>> ;\u00A0\u00A0\u00A0wdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/989615914<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>

Related Entities<\/h3>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Agent\/universiteit_twente<\/a>> # Universiteit Twente<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:Agent<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Universiteit Twente<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Person\/romijn_j_m_t_judi<\/a>> # Judi. Romijn<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Romijn<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Judi.<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"J.M.T<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Judi. Romijn<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Place\/enschede<\/a>> # Enschede<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Enschede<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Series\/ipa_dissertation_series<\/a>> # IPA dissertation series ;<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0schema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/989615914<\/a>> ; # Analysing industrial protocols with formal methods<\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"IPA dissertation series ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/worldcat.org\/isbn\/9789090130866<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:ProductModel<\/a> ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9090130861<\/span>\" ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9789090130866<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/title\/-\/oclc\/989615914<\/a>>\u00A0\u00A0\u00A0\u00A0a genont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/989615914<\/a>> ; # Analysing industrial protocols with formal methods<\/span>\u00A0\u00A0\u00A0schema:dateModified<\/a> \"2018-11-09<\/span>\" ;\u00A0\u00A0\u00A0void:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/title\/-\/oclc\/989615914#PublicationEvent\/enschede_universiteit_twente_1999<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0schema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Place\/enschede<\/a>> ; # Enschede<\/span>\u00A0\u00A0\u00A0schema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1818884807#Agent\/universiteit_twente<\/a>> ; # Universiteit Twente<\/span>\u00A0\u00A0\u00A0schema:startDate<\/a> \"1999<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>

Content-negotiable representations<\/p>