default search action

combined dblp search
author search
venue search
publication search

ask others

Handbook of Finite State Based Models and Applications 2012

> Home > Encyclopedias, Handbooks, etc

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - reference/crc/2012fsbma
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/2012fsbma
Jiacun Wang:
Handbook of Finite State Based Models and Applications. Chapman and Hall/CRC 2012, ISBN 978-1-4398-4618-6
- view
  authority control:
- export record
  dblp key:
  - reference/crc/BaruaG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/BaruaG12
Rana Barua, Kishan Chand Gupta:
Finite Automata. 1-17
- view
  authority control:
- export record
  dblp key:
  - reference/crc/YangP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/YangP12
Yi-Hua E. Yang, Viktor K. Prasanna:
Large-Scale Regular Expression Matching on FPGA. 19-43
- view
  authority control:
- export record
  dblp key:
  - reference/crc/BaliosianW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/BaliosianW12
Javier Baliosian, Dina Wonsever:
Finite State Transducers. 45-68
- view
  authority control:
- export record
  dblp key:
  - reference/crc/Gauwin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/Gauwin12
Olivier Gauwin:
Tree Automata. 69-85
- view
  authority control:
- export record
  dblp key:
  - reference/crc/SunLD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/SunLD12
Jun Sun, Yang Liu, Jin Song Dong:
Timed Automata. 87-111
- view
  authority control:
- export record
  dblp key:
  - reference/crc/QiuLMG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/QiuLMG12
Daowen Qiu, Lvzhou Li, Paulo Mateus, Jozef Gruska:
Quantum Finite Automata. 113-144
- view
  authority control:
- export record
  dblp key:
  - reference/crc/AlmeidaMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/AlmeidaMR12
Marco Almeida, Nelma Moreira, Rogério Reis:
Finite Automata Minimization. 145-169
- view
  authority control:
- export record
  dblp key:
  - reference/crc/Daciuk12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/Daciuk12
Jan Daciuk:
Incremental Construction of Finite-State Automata. 171-190
- view
  authority control:
- export record
  dblp key:
  - reference/crc/Mousavi12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/Mousavi12
Mohammad Reza Mousavi:
Esterel and the Semantics of Causality. 191-206
- view
  authority control:
- export record
  dblp key:
  - reference/crc/Thomo012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/Thomo012
Alex Thomo, S. Venkatesh:
Regular Path Queries on Graph-Structured Data. 207-221
- view
  authority control:
- export record
  dblp key:
  - reference/crc/KurkowskiP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/KurkowskiP12
Miroslaw Kurkowski, Wojciech Penczek:
Applying Timed Automata to Model Checking of Security Protocols. 223-254
- view
  authority control:
- export record
  dblp key:
  - reference/crc/NedjahM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/NedjahM12
Nadia Nedjah, Luiza de Macedo Mourelle:
Optimal Adaptive Pattern-Matching Using Finite State Automata. 255-266
- view
  authority control:
- export record
  dblp key:
  - reference/crc/Zhao12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/Zhao12
Yang Zhao:
Finite State Automata in Compilers. 267-281
- view
  authority control:
- export record
  dblp key:
  - reference/crc/Mani12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/Mani12
Murali Mani:
Finite State Models for XML Processing. 283-295
- view
  authority control:
- export record
  dblp key:
  - reference/crc/X12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/X12
Petri Nets. 297-316
- view
  authority control:
- export record
  dblp key:
  - reference/crc/LuY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/LuY12
Hanlin Lu, Sheng Yu:
Statecharts. 317-336
- view
  authority control:
- export record
  dblp key:
  - reference/crc/DuanT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/DuanT12
Zhenhua Duan, Cong Tian:
Model Checking. 337-369
- view
  authority control:
- export record
  dblp key:
  - reference/crc/ArissX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/ArissX12
Omar el Ariss, Dianxiang Xu:
System Modeling with UML State Machines. 371-386
- view
  authority control:
- export record
  dblp key:
  - reference/crc/X12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crc/X12a
Index. 387-397

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.