Descriptional complexity of formal systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. <br>The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 subm...
Պահպանված է:
Հիմնական հեղինակ: | Kutrib, Martin (Հեղինակ) |
---|---|
Համատեղ հեղինակ: | SpringerLink (Online service) |
Այլ հեղինակներ: | Moreira, Nelma, Reis, Rogério |
Ձևաչափ: | էլ․ գիրք |
Լեզու: | English |
Հրապարակվել է: |
Berlin, Heidelberg
Springer Berlin Heidelberg Imprint: Springer
2012.
|
Շարք: | Lecture Notes in Computer Science,
7386 |
Խորագրեր: | |
Առցանց հասանելիություն: | Click here to view the full text content |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Հրապարակվել է: (2013) -
Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Հրապարակվել է: (2015) -
Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
Հրապարակվել է: (2012) -
Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Հրապարակվել է: (2012) -
Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Հրապարակվել է: (2012)