untitled
<OAI-PMH schemaLocation=http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd>
<responseDate>2018-01-15T15:42:36Z</responseDate>
<request identifier=oai:HAL:hal-00354674v1 verb=GetRecord metadataPrefix=oai_dc>http://api.archives-ouvertes.fr/oai/hal/</request>
<GetRecord>
<record>
<header>
<identifier>oai:HAL:hal-00354674v1</identifier>
<datestamp>2018-01-11</datestamp>
<setSpec>type:COMM</setSpec>
<setSpec>subject:info</setSpec>
<setSpec>collection:CNRS</setSpec>
<setSpec>collection:UNIV-CLERMONT1</setSpec>
<setSpec>collection:UNIV-BPCLERMONT</setSpec>
<setSpec>collection:ENSEIRB</setSpec>
<setSpec>collection:LABRI</setSpec>
<setSpec>collection:UNIV-BORDEAUX</setSpec>
<setSpec>collection:LIMOS</setSpec>
<setSpec>collection:BNRMI</setSpec>
<setSpec>collection:UNIV-AG</setSpec>
<setSpec>collection:PRES_CLERMONT</setSpec>
<setSpec>collection:SIGMA-CLERMONT</setSpec>
</header>
<metadata><dc>
<publisher>HAL CCSD</publisher>
<title lang=en>Temporal and Behavior Characterization of States in Timed Systems</title>
<creator>Salva, Sébastien</creator>
<creator>Rollet, Antoine</creator>
<creator>Fouchal, H.</creator>
<contributor>Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS) ; Centre National de la Recherche Scientifique (CNRS) - Sigma CLERMONT (Sigma CLERMONT) - Université d'Auvergne - Clermont-Ferrand I (UdA) - Université Blaise Pascal - Clermont-Ferrand 2 (UBP)</contributor>
<contributor>Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Centre National de la Recherche Scientifique (CNRS) - École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) - Université Sciences et Technologies - Bordeaux 1 - Université Bordeaux Segalen - Bordeaux 2</contributor>
<contributor>Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane (GRIMAAG) ; Université des Antilles et de la Guyane (UAG)</contributor>
<description>International audience</description>
<source>ACIS Annnual International Conference on Computer and Information Science, ICIS'02</source>
<source>Annnual International Conference on Computer and Information Science, ICIS'02</source>
<coverage>Séoul, South Korea</coverage>
<identifier>hal-00354674</identifier>
<identifier>https://hal.archives-ouvertes.fr/hal-00354674</identifier>
<source>https://hal.archives-ouvertes.fr/hal-00354674</source>
<source>Annnual International Conference on Computer and Information Science, ICIS'02, Aug 2002, Séoul, South Korea. p .., 2002</source>
<language>en</language>
<subject>[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]</subject>
<type>info:eu-repo/semantics/conferenceObject</type>
<type>Conference papers</type>
<date>2002-08-08</date>
</dc>
</metadata>
</record>
</GetRecord>
</OAI-PMH>