Nite automata < Nite automaton < Nite cables | Facettes : |
List of bibliographic references indexed by Nite automaton
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
007D67 (2009) | Gilles Benattar [France] ; Franck Cassez [Australie] ; Didier Lime [France] ; Olivier H. Roux [France] | Synthesis of Non-Interferent Timed Systems |
007E86 (2009) | Franck Cassez [Australie] ; Jérémy Dubreil [France] ; Hervé Marchand [France] | Dynamic Observers for the Synthesis of Opaque Systems |
008779 (2008) | Belkacem Serrour [France] ; Daniel P. Gasparotto [France] ; Hamamache Kheddouci [France] ; Boualem Benatallah [Australie] | Message Correlation and Business Protocol Discovery in Service Interaction Logs |
009043 (2007) | Christian Bessiere [France] ; Emmanuel Hebrard [Irlande (pays)] ; Brahim Hnich [Turquie] ; Zeynep Kiziltan [Italie] ; Claude-Guy Quimper [Canada] ; Toby Walsh [Australie] | Reformulating Global Constraints: The Slide and Regular Constraints |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Nite automaton"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i \ -Sk "Nite automaton" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Asie |area= AustralieFrV1 |flux= Main |étape= Exploration |type= indexItem |index= KwdEn.i |clé= Nite automaton }}
This area was generated with Dilib version V0.6.33. |