143654 |
|
Gopalakrishnan G., Windley P. |
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings |
1998 | •• |
165366 |
|
Hunt W., Johnson S. |
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings |
2000 | •• |
133541 |
|
Bjorner D., Broy M., Pottosin I.V. |
Formal Methods in Programming and Their Applications |
1993 | •• |
126905 |
|
Hans-Jorg Kreowski, Ugo Montanari, Fernando Orejas |
Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday |
2005 • | •• |
193665 |
|
Fisher J. |
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings |
2008 | •• |
136173 |
|
Brim L. (ed.), Haverkort B. (ed.), Leucker M. (ed.) |
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems |
2007 | •• |
159851 |
|
Brim L., Haverkort B., Leucker M. |
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th |
2007 | •• |
158615 |
|
Marcel Vinicius Medeiros Oliveira, Jim Woodcock |
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering) |
2009 • | •• |
186897 |
|
Braga C., Moura L., Iyoda J. |
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings |
2013 | •• |
10433 |
|
Clarke A.M., Wing J.M. |
Formal Methods: State of Art and Future Directions |
1996 | •• |
78277 |
|
Raskin J., Thiagarajan P.S. |
Formal Modeling and Analysis of Timed Systems, 5 conf., FORMATS 2007 |
2007 | •• |
150009 |
|
Ouaknine J., Vaandrager F. |
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings |
2009 | •• |
170257 |
|
Asarin E., Bouyer P. |
Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings |
2006 | •• |
195337 |
|
Chatterjee K. (Ed.), Henzinger T.A. (Ed.) |
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Computer Science and General Issues) |
2010 • | •• |
155593 |
|
Larsen K., Niebert P. |
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers |
2004 | •• |
151583 |
|
Pettersson P., Yi W. |
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings |
2005 | •• |
132047 |
|
Kimbrough S.O., Wu D. |
Formal Modelling in Electronic Commerce |
2004 | •• |
154287 |
|
Meyer J., Schobbens P. |
Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers |
2000 | •• |
165606 |
|
Bollig B. |
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-order Logic |
2006 | •• |
28053 |
|
Graig I.D. |
Formal Models of Operating System Kernels |
2006 | •• |
18084 |
|
Laudal O.A. |
Formal Moduli of Algebraic Structures |
1979 | •• |
195386 |
|
Eschenbach C. (Ed.), Gruninger M. (Ed.) |
Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) - Volume 183 Frontiers in Artificial Intelligence and Applications |
2008 | •• |
28980 |
|
Bennett B., Fellbaum C. |
Formal Ontology in Information Systems: Proceedings of the Fourth International Conference FOIS 2006 |
2006 | •• |
199927 |
|
(ed.) Authier J.-M. |
Formal Perspectives on Romance Linguistics |
1998 | •• |
55150 |
|
Niven I. |
Formal Power Series |
1969 | •• |
1755 |
|
Balser W. |
Formal power series and linear systems of meromorphic ordinary differential equations |
2000 | •• |
55716 |
|
Balser W. |
Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations |
2000 | •• |
78244 |
|
Möller B. (ed.) |
Formal Program Development. IFIP TC2/WG 2.1 State-of-the-Art Report |
1993 | •• |
55711 |
|
Eichenmüller G. |
Formal reduction and integration of systems of nonlinear differential equations |
2000 | •• |
29927 |
|
Craig I.D. |
Formal Refinement of Operating System Kernels |
2007 | •• |
143115 |
|
Clifford J. |
Formal Semantics and Pragmatics for Natural Language Querying |
1990 | •• |
167702 |
|
Clifford J. |
Formal Semantics and Pragmatics for Natural Language Querying |
1990 | •• |
105732 |
|
van Hoeij M. |
Formal solutions factorization of differential operators with power series coefficient |
n/a | •• |
107374 |
|
Singer M.F. |
Formal solutions of ODEs |
1990 | •• |
169919 |
|
Feijs L., Jonkers H. |
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) |
1992 | •• |
143860 |
|
Post E. |
Formal Structure of Electromagnetics: General Covariance and Electromagnetics |
1962 | •• |
99501 |
|
Eugene P. Gross |
Formal structure of kinetic theory |
1976 | •• |
78925 |
|
Alves-Foss J. |
Formal Syntax and Semantics of Java |
1999 | •• |
28020 |
|
Slonneger K., Kurtz B.L. |
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach |
1995 • | •• |
155698 |
|
Crossley J., Dummett M. |
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40) |
1965 | •• |
182338 |
|
Broy M., Merz S., Spies K. |
Formal Systems Specification: The RPC-Memory Specification Case Study |
1996 | •• |
135630 |
|
Bravetti M. |
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web |
2005 | •• |
85683 |
|
Lee D., Lopes A., Poetzsch-Heffter A. |
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 Lisboa, Portugal, June 9-12, 2009 Proceedings |
2009 | •• |
181578 |
|
Lee D., Lopes A., Poetzsch-Heffter A. |
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE ... Programming and Software Engineering) |
2009 | •• |
142351 |
|
Hatcliff J., Zucca E. |
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... Programming and Software Engineering) |
2010 | •• |
132404 |
|
Derrick J., Vain J. |
Formal Techniques for Networked and Distributed Systems |
2007 | •• |
178823 |
|
Suzuki K., Higashino T., Yasumoto K. |
Formal Techniques for Networked and Distributed Systems FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings |
2008 | •• |
165548 |
|
Peled D., Vardi M. |
Formal Techniques for Networked and Distributed Systems - FORTE 2002 |
2002 | •• |
195095 |
|
Hartmut Konig, Monika Heiner, Adam Wolisz |
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 |
2003 • | •• |
180754 |
|
Frutos-Escrig D., Nunez M. |
Formal Techniques for Networked and Distributed Systems - FORTE 2004 |
2004 | •• |