Hermanns, Holger, 1967-
Resource Information
The person Hermanns, Holger, 1967- represents an individual (alive, dead, undead, or fictional) associated with resources found in University of Missouri Libraries.
The Resource
Hermanns, Holger, 1967-
Resource Information
The person Hermanns, Holger, 1967- represents an individual (alive, dead, undead, or fictional) associated with resources found in University of Missouri Libraries.
- Label
- Hermanns, Holger, 1967-
- Date
- 1967-
10 Items by the Person Hermanns, Holger, 1967-
Context
Context of Hermanns, Holger, 1967-Creator of
No resources found
No enriched resources found
Contributor of
No resources found
No enriched resources found
- Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures
- Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
- Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
- Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings
- CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 : proceedings
- Validations of Stochastic Systems: A Guide to Current Research
- Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
- Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Contributor of
No resources found
No enriched resources found
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/HAA0Mh5xK58/" typeof="Person http://bibfra.me/vocab/lite/Person"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/HAA0Mh5xK58/">Hermanns, Holger, 1967-</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Person Hermanns, Holger, 1967-
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/HAA0Mh5xK58/" typeof="Person http://bibfra.me/vocab/lite/Person"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/HAA0Mh5xK58/">Hermanns, Holger, 1967-</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>