E-LIB Suche - Ergebnisse für: Franzén, Anders

1

The warship Vasa

Deep diving and marine archaeology in Stockholm

Franzén, Anders - 5th ed . , 1966

Exemplar: Zentrale:Magazin 01.k.0548

2

Applying SMT in symbolic execution of microcode:

, In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design,

Franzén, Anders ; Cimatti, Alessandro ; Nadel, Alexander.. - p. 121-128 , 2010

Link: https://dl.acm.org/doi/1..

3

Delayed theory combination vs. Nelson-Oppen for satisfiabil..:

Bruttomesso, Roberto ; Cimatti, Alessandro ; Franzen, Anders..
Annals of Mathematics and Artificial Intelligence. 55 (2009) 1-2 - p. 63-99 , 2009

Link: https://doi.org/10.1007/..

4

Computing Predicate Abstractions by Integrating BDDs and SM..:

, In: Formal Methods in Computer Aided Design (FMCAD'07),

Cavada, Roberto ; Cimatti, Alessandro ; Franzen, Anders... - p. None , 2007

Link: https://doi.org/10.1109/..

5

Using Satisfiability Modulo Theories for Inductive Verifica..:

Franzén, Anders
Electronic Notes in Theoretical Computer Science. 144 (2006) 1 - p. 19-33 , 2006

Link: https://doi.org/10.1016/..

6

Encoding RTL Constructs for MathSAT: a Preliminary Report:

Bozzano, Marco ; Bruttomesso, Roberto ; Cimatti, Alessandro...
Electronic Notes in Theoretical Computer Science. 144 (2006) 2 - p. 3-14 , 2006

Link: https://doi.org/10.1016/..

7

Wasa

fynd och bärgning ; ett bildalbum Wasa publikation

Clason, Edward ; Franzén, Anders , 1959

Exemplar: Zentrale:Magazin af 1474

8

Optimale hydrofoil-konfigurasjoner på arbeidsbåter i HAVtru..:

Gussiås, Eirik Hanset ; Andersen, Dani ; Franzen, Anders
http://hdl.handle.net/11250/2609889. , 2019

Link: http://hdl.handle.net/11..

9

Optimizing monitoring requirements in self-adaptive systems:

Ali, Raian ; Griggio, Alberto ; Franzén, Anders..
info:eu-repo/grantAgreement/EC/FP7/257930. , 2012

Link: http://hdl.handle.net/10..

10

Modeling and Analyzing Contextual Requirements:

Franzen, Anders ; Giorgini, Paolo ; Griggio, Alberto.
ispartofseries:Technical Report DISI. , 2009

Link: https://hdl.handle.net/1..

11

Anders Franzén tells his story about His Majesty's ship Vas..:

Franzén, Anders ; Grisell, Anders
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-35216. , 2009

Link: http://urn.kb.se/resolve..

12

Nötbolandet ; Notbolandet:

Franzén, Anders
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5504. , 2009

Link: http://urn.kb.se/resolve..

13

To Ackermann-ize or not to Ackermann-ize? On Efficiently Ha..:

Bruttomesso, Roberto ; Cimatti, Alessandro ; Franzén, Anders...
ispartofseries:Technical Report. , 2006

Link: https://hdl.handle.net/1..

14

Delayed Theory Combination vs. Nelson-Oppen for Satisfiabil..:

Bruttomesso, Roberto ; Cimatti, Alessandro ; Franzén, Anders..
ispartofseries:Technical Report. , 2006

Link: https://hdl.handle.net/1..

15

Laga skifteshandlingarna som källa för byggnadsforskning:

Franzén, Anders
Bebyggelsehistorisk tidskrift, 0349-2834, 1999, :37, s. 123-128. , 1999

Link: http://urn.kb.se/resolve..