| contributor author | Dojen, R. , Jinyong Chen , Coffey, T. | |
| date accessioned | 2020-03-12T20:54:55Z | |
| date available | 2020-03-12T20:54:55Z | |
| date issued | 2014 | |
| identifier other | 6912734.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1030216?show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | On modelling security protocols for logic-based verification | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8155593 | |
| subject keywords | Brain modeling | |
| subject keywords | Diseases | |
| subject keywords | Electric potential | |
| subject keywords | Electrodes | |
| subject keywords | Electroencephalography | |
| subject keywords | Mice | |
| subject keywords | Electroencephalography (EEG) | |
| subject keywords | dry electrode | |
| subject keywords | flexibility | |
| subject keywords | non-invasiveness | |
| subject keywords | sensory-evoked potential recording | |
| identifier doi | 10.1109/ICSENS.2014.6985049 | |
| journal title | rish Signals & Systems Conference 2014 and 2014 China-Ireland International Conference on In | |
| filesize | 276773 | |
| citations | 0 | |
